Mon, 10 Sep 2018 18:15:10 +0200 | Detlev Offenbach | Changed the extension of the generated script files for Windows from '.bat' to '.cmd'. | file | diff | annotate |
Fri, 05 May 2017 19:07:43 +0200 | Detlev Offenbach | Regenerated source docu. | file | diff | annotate |
Sat, 05 Jul 2014 12:29:15 +0200 | Detlev Offenbach | Generated source docu. | file | diff | annotate |