lean4-htt/src/shell
Sebastian Ullrich 9b342efb84
fix: calling programs with spaces on Windows (#4515)
This entire API has been carefully optimized for maximum pain output

---------

Co-authored-by: Mac Malone <tydeu@hatpress.net>
2024-07-26 17:35:05 +00:00
..
app.manifest fix: UTF-8 file path support for lean on Windows 2021-09-22 12:21:52 +02:00
CMakeLists.txt fix: calling programs with spaces on Windows (#4515) 2024-07-26 17:35:05 +00:00
lean.cpp chore: reintroduce lean.cpp in separate commit so Git doesn't freak out 2021-09-16 07:03:37 -07:00
lean_js.cpp
manifest.rc fix: UTF-8 file path support for lean on Windows 2021-09-22 12:21:52 +02:00
mk_lean_sh.sh