Mercurial > hg > Gears > GearsAgda
view .hgignore @ 335:d56343cb3382 examples_directory
Close branch
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 19 Apr 2017 18:57:10 +0900 (2017-04-19) |
parents | f0c144c3861d |
children | 9f8a87389b68 |
line wrap: on
line source
syntax: glob *.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