summaryrefslogtreecommitdiff
path: root/doc/user/conf.py.in
AgeCommit message (Expand)AuthorFilesLines
2018-08-02doc/user: add a hack to get to the git versionPeter Hutterer1-2/+23
2018-08-02doc/user: use extlink for a common commit linksPeter Hutterer1-0/+6
2018-07-30dox: switch to sphinx for the user-visible documentationPeter Hutterer1-0/+170