log

age author description
Wed, 23 Dec 2020 19:43:07 +0100 Guido Berhoerster Added tag version-0.8.0, v0.8.0 for changeset 5350d15a9100
Wed, 23 Dec 2020 19:43:07 +0100 Guido Berhoerster Release version 0.8.0 v0.8.0 version-0.8.0
Wed, 23 Dec 2020 19:35:32 +0100 Guido Berhoerster Put generated documentation under version control