Mercurial > hg > Gears > GearsAgda
view .hgignore @ 388:8940d1451a0d
handle local continuation
author | masataka |
---|---|
date | Sat, 29 Jul 2017 19:08:25 +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