lean4-htt/.gitignore
2016-12-10 08:42:39 -08:00

15 lines
135 B
Text

*~
\#*
.#*
*.olean
*.lock
build
GPATH
GRTAGS
GSYMS
GTAGS
.projectile
.lean_options
src/emacs/dependencies
compile_commands.json
*.idea