Mercurial > hg > Gears > GearsAgda

view .hgignore @ 586:0ddfa505d612

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
isolate search function problem, and add hoareBinaryTree.agda.
author ryokka
date Wed, 04 Dec 2019 15:42:47 +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