log CHANGES.txt @ 233:2ec722518d5d

age author description
Fri, 31 May 2019 12:17:28 +0200 Franz Glasner FIX: v0.7.2 is released already: put the release date into the changelog
Mon, 13 May 2019 09:36:36 +0200 Franz Glasner +++++ v0.7.2 v0.7.2
Mon, 13 May 2019 09:36:27 +0200 Franz Glasner Updated CHANGES.txt with the new (renamed) loader key
Sun, 12 May 2019 18:06:37 +0200 Franz Glasner Added a loader with key "ignore" that ignores the given configuration file