diff options
author | Josh Haberman <jhaberman@gmail.com> | 2018-12-12 15:08:04 -0800 |
---|---|---|
committer | Josh Haberman <jhaberman@gmail.com> | 2018-12-12 15:08:04 -0800 |
commit | 32ef122e380a0d76b2cef5dae439f0b9b3aa35ee (patch) | |
tree | 35df1b4335d82e5dc2be6858be55784484eacf5f /.gitmodules | |
parent | aad4f403a6fc28306f08a4842f0bc65540b7888e (diff) |
Deleted old Lua-based C API compiler.
This compiler has been ported to C++, so the Lua
compiler is no longer needed.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions