Bill Ferguson f724335b91 fixed buy on windows where preferences wee not getting saved

2018-08-23 12:50:50 -04:00

..

executable_manager.lua

Created tools/executable_manager.lua for managing external executables used by the lua scripts. Updated the README to reflect the new script.

2018-08-17 19:30:43 -04:00

get_lib_manpages.lua

Updated to api 5.0.0 and tested. include_all.lua changed to load official/yield and ignore the lib and tools directories.

2018-01-02 19:51:14 -05:00

get_libdoc.lua

Updated to api 5.0.0 and tested. include_all.lua changed to load official/yield and ignore the lib and tools directories.

2018-01-02 19:51:14 -05:00

script_manager.lua

fixed buy on windows where preferences wee not getting saved

2018-08-23 12:50:50 -04:00