28 lines
282 B
Text
28 lines
282 B
Text
|
*~
|
||
|
|
.lean_trace
|
||
|
|
*.produced.out
|
||
|
|
*.md.lua
|
||
|
|
*.md.lean
|
||
|
|
*.olean
|
||
|
|
*.clean
|
||
|
|
*.ilean
|
||
|
|
*.d
|
||
|
|
a.out
|
||
|
|
build
|
||
|
|
GPATH
|
||
|
|
GRTAGS
|
||
|
|
GSYMS
|
||
|
|
GTAGS
|
||
|
|
Makefile
|
||
|
|
*.cmake
|
||
|
|
CMakeFiles/
|
||
|
|
.projectile
|
||
|
|
.coveralls.yml
|
||
|
|
.lean_options
|
||
|
|
doc/html
|
||
|
|
make.deps
|
||
|
|
src/emacs/dependencies
|
||
|
|
compile_commands.json
|
||
|
|
.ninja_deps
|
||
|
|
.ninja_log
|
||
|
|
build.ninja
|