Lukas Aldershaab 9ccaa6d3ea Improve handling of non-default script filenames 5 anni fa
..
gui 099dd4f1f3 Parametrize script extension, default to 'tscript' 5 anni fa
scripts 9ccaa6d3ea Improve handling of non-default script filenames 5 anni fa
main.tscript 9ccaa6d3ea Improve handling of non-default script filenames 5 anni fa