lean2/hott/.gitignore

5 lines
40 B
Text
Raw Permalink Normal View History

2015-03-29 03:29:41 +00:00
.ninja_deps
.ninja_log
TAGS
build.ninja