Mercurial > hg > Gears > GearsAgda

annotate .hgignore @ 163:f0c144c3861d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update .hgignore
author atton
date Thu, 17 Nov 2016 18:25:20 +0000
parents 547c23f3a898
children 9f8a87389b68
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 syntax: glob
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 *.swp
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 *.o
163
f0c144c3861d Update .hgignore
atton
parents: 85
diff changeset
5 *.agdai
84
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 # CMake
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 CMakeCache.txt
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 CMakeFiles
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 CMakeScripts
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 Makefile
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 cmake_install.cmake
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 install_manifest.txt
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 # binary
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 src/llrb/llrb
85
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 84
diff changeset
17 src/llrb/llrb_with_put_verify
84
f9487d7ea533 Add .hgignore
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18