Gabriel Ebner e03c31d2f9 refactor(gitignore): remove old ignore entries		2016-12-10 08:42:39 -08:00
..
.gitignore	refactor(gitignore): remove old ignore entries	2016-12-10 08:42:39 -08:00
lean-gdb.py	fix(bin/lean-gdb): support python 2	2016-11-10 15:46:50 -08:00
leanemacs.bat.in
leanemacs.in
leanemacs_build
leanemacs_build.bat
leanutil.py	feat(bin/leanutil): start "compilation server"	2015-08-16 12:20:48 -07:00
test_leanemacs
version