log

age author description
Thu, 25 Apr 2019 16:36:13 +0200 Thomas Junk hgignore: added pub-config.json to hgignore to prevent accidental commits
Thu, 25 Apr 2019 15:31:43 +0200 Sascha L. Teichmann Added "published-config" field to configuration.
Thu, 25 Apr 2019 13:11:41 +0200 Sascha L. Teichmann Nash Sutcliffe: Removed dead code.