Mercurial > hg > Gears > GearsAgda
annotate .hgignore @ 672:3676e845d46f
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 23 Nov 2021 11:32:35 +0900 |
parents | 9f8a87389b68 |
children |
rev | line source |
---|---|
84 | 1 syntax: glob |
346 | 2 .DS_Store |
84 | 3 *.swp |
4 *.o | |
163 | 5 *.agdai |
84 | 6 |
7 # CMake | |
8 CMakeCache.txt | |
9 CMakeFiles | |
10 CMakeScripts | |
11 Makefile | |
12 cmake_install.cmake | |
13 install_manifest.txt | |
14 | |
15 # binary | |
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 | 18 |