Mercurial > hg > GearsTemplate
view .hgignore @ 540:0a723e418b2a
add some more directives in agda
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 23:43:18 +0900 |
parents | 9f8a87389b68 |
children | d167e24e5493 |
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