Lukas Aldershaab 9ccaa6d3ea Improve handling of non-default script filenames		2021-01-19 21:32:31 +01:00
..
gui	Updates to various components, added a few new ones.	2019-02-24 01:50:38 -06:00
interface	Parametrize script extension, default to 'tscript'	2021-01-19 21:32:31 +01:00
scripts	Parametrize script extension, default to 'tscript'	2021-01-19 21:32:31 +01:00
main.tscript	Improve handling of non-default script filenames	2021-01-19 21:32:31 +01:00