Mercurial > hg > Gears > GearsAgda
view .hgignore @ 825:02f431665ebc
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 29 Jan 2024 11:42:39 +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