Revision d7d8e52f610159b07e2a71a368ef0305c96da642

Committed on 04/02/2020 1:57 am by Jani Tarvainen <janit@iki.fi> [GitHub Diff]

some cleanup for documentation center