summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2016-10-23 14:32:06 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2016-10-23 14:32:17 -0400
commit86daabe3a442bff3f93545a5b0e716a1737eb2d6 (patch)
treeee67a4a7610367f452bb10cc68dde8eb5c094b6e /debian/patches/series
parent098bedb77e6b96ffe1e248e84c615f5b0c13690c (diff)
Refresh patches
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 5c2af812..8bedd73d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
harden.diff
doc-letterpaper.diff
use-system-uthash.diff
-export-fewer-symbols.diff