aboutsummaryrefslogtreecommitdiff
path: root/docs/devel/conf.py
AgeCommit message (Expand)Author
2019-03-07docs: Provide separate conf.py for each manual we wantPeter Maydell