summaryrefslogtreecommitdiff
path: root/doc/.gitignore
AgeCommit message (Expand)Author
2019-07-24doc: Add .gitignore for the Sphinx build output directoryBin Meng