lean4-htt/.gitignore
2016-12-18 12:35:25 -08:00

17 lines
No EOL
159 B
Text

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