summaryrefslogtreecommitdiff
path: root/debian/patches/0007-Disable-Sphinx.patch
AgeCommit message (Expand)Author
2019-09-25Improve patches.Gard Spreemann
2019-09-25Disable Sphinx build for now.Gard Spreemann