Mercurial > hg > Gears > GearsAgda

view .hgignore @ 406:9b35e6581b5c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use task member of context by par goto meta Use task member of context for par goto meta ate_stub.pl
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Wed, 06 Sep 2017 15:11:27 +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