summaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
AgeCommit message (Expand)Author
2019-12-13doc: really get rid of Documentation/ directoryRasmus Villemoes
2019-07-24doc: Add .gitignore for the Sphinx build output directoryBin Meng
2018-07-23doc: Replace DocBook with sphinx-based docsMario Six