Mercurial > hg > Gears > GearsAgda
view .hgignore @ 304:9755206813cb
helper_string.h for ANSI C
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 14 Feb 2017 11:36:41 +0900 |
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