log doc/conf.py @ 77:025005f1234f

age author description
Wed, 14 Mar 2018 23:44:37 +0100 Franz Glasner Print the date of the docu more intelligently: use |today| together with keyword expansion