lean2/library/.gitignore
2014-08-29 10:31:16 -07:00

4 lines
40 B
Text

TAGS
build.ninja
.ninja_deps
.ninja_log