Leonardo de Moura 5cbc1470b9 chore(bin/leanpkg): return nicer error message if greadlink is not available on OSX ... see issue #1788		2017-08-21 20:20:13 +02:00
..
.gitignore
lean-gdb.py
leanemacs.bat.in
leanemacs.in
leanemacs_build
leanemacs_build.bat
leanpkg	chore(bin/leanpkg): return nicer error message if greadlink is not available on OSX	2017-08-21 20:20:13 +02:00
leanpkg.bat
leanutil.py
test_leanemacs
version