Lukas Aldershaab 9ccaa6d3ea Improve handling of non-default script filenames vor 5 Jahren
..
datablocks 9ccaa6d3ea Improve handling of non-default script filenames vor 5 Jahren
server 099dd4f1f3 Parametrize script extension, default to 'tscript' vor 5 Jahren