Lukas Aldershaab 9ccaa6d3ea Improve handling of non-default script filenames 5 years ago
..
guis 48838494d4 Update console.gui 5 years ago
scripts 099dd4f1f3 Parametrize script extension, default to 'tscript' 5 years ago
Core_Console.module 9ccaa6d3ea Improve handling of non-default script filenames 5 years ago
Core_Console.tscript 9ccaa6d3ea Improve handling of non-default script filenames 5 years ago