aboutsummaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2019-12-13doc: really get rid of Documentation/ directoryRasmus Villemoes1-1/+0
2019-07-24doc: Add .gitignore for the Sphinx build output directoryBin Meng1-1/+0
2018-07-23doc: Replace DocBook with sphinx-based docsMario Six1-0/+2