Mercurial > hg > Gears > GearsAgda
view .hgignore @ 539:39d465c20e5a
print contant tree. C-c C-n test.
author | ryokka |
---|---|
date | Wed, 10 Jan 2018 18:10:03 +0900 |
parents | 9f8a87389b68 |
children |
line wrap: on
line source
syntax: glob .DS_Store *.swp *.o *.agdai # CMake CMakeCache.txt CMakeFiles CMakeScripts Makefile cmake_install.cmake install_manifest.txt # binary src/llrb/llrb src/llrb/llrb_with_put_verify