summaryrefslogtreecommitdiff
path: root/debian/patches/0007-Disable-Sphinx.patch
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2019-09-25 15:20:22 +0200
committerGard Spreemann <gspr@nonempty.org>2019-09-25 15:20:22 +0200
commit6233293ba27c017be71175ec5db98872262aa12a (patch)
tree890f828cae150fffe8de6cc7bfd49ba19ed869c7 /debian/patches/0007-Disable-Sphinx.patch
parent3d092293bab8b5d9e866ac51283d95927f41c337 (diff)
Refreshed patches.
Diffstat (limited to 'debian/patches/0007-Disable-Sphinx.patch')
0 files changed, 0 insertions, 0 deletions