log

age author description
Thu, 15 Mar 2018 15:08:15 +0100 Franz Glasner Change title of documentation
Thu, 15 Mar 2018 01:27:57 +0100 Franz Glasner Change section header
Thu, 15 Mar 2018 00:25:09 +0100 Franz Glasner Create an AUTHORS.txt file and put into the documentation.