summaryrefslogtreecommitdiffstats
path: root/doc-publik/update-publik-doc-from-redmine.py