2013-07-16 01:45:12 +00:00
|
|
|
*~
|
|
|
|
.lean_trace
|
2013-09-01 01:46:18 +00:00
|
|
|
*.produced.out
|
2013-11-18 22:14:23 +00:00
|
|
|
*.md.lua
|
2013-12-28 00:46:17 +00:00
|
|
|
*.md.lean
|
2014-05-24 20:02:06 +00:00
|
|
|
*.olean
|
2014-08-10 18:20:08 +00:00
|
|
|
*.clean
|
2014-08-15 01:05:15 +00:00
|
|
|
*.ilean
|
2014-08-01 16:08:16 +00:00
|
|
|
*.d
|
2015-12-14 18:03:33 +00:00
|
|
|
*.lock
|
2013-07-16 01:45:12 +00:00
|
|
|
a.out
|
2013-07-17 19:40:31 +00:00
|
|
|
build
|
|
|
|
GPATH
|
|
|
|
GRTAGS
|
|
|
|
GSYMS
|
2013-07-22 11:03:46 +00:00
|
|
|
GTAGS
|
2013-07-30 09:55:26 +00:00
|
|
|
Makefile
|
|
|
|
*.cmake
|
|
|
|
CMakeFiles/
|
2013-11-17 06:02:21 +00:00
|
|
|
.projectile
|
2013-12-01 05:48:44 +00:00
|
|
|
.coveralls.yml
|
2014-09-04 21:07:55 +00:00
|
|
|
.lean_options
|
2013-12-01 05:48:44 +00:00
|
|
|
doc/html
|
2015-01-30 19:48:00 +00:00
|
|
|
make.deps
|
|
|
|
src/emacs/dependencies
|
2024-08-09 09:21:09 +00:00
|
|
|
compile_commands.json
|
|
|
|
.cache
|