summaryrefslogtreecommitdiff
path: root/debian/source/local-options
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2014-07-23 18:18:26 +0200
committerJörg Frings-Fürst <debian@jff-webhosting.net>2014-07-23 18:18:26 +0200
commit44a1fdd0075c7818b65d4191290cdce733687146 (patch)
tree3254cbee0a3ab39757bb7a1972faa884127f33cd /debian/source/local-options
parenta366a6feda133b888da763569953636c90017f57 (diff)
parentcce8437bfbdb21e2b97025de6721c78f6d4654fc (diff)
Merge tag 'upstream/3.13.4.2'
Upstream version 3.13.4.2
Diffstat (limited to 'debian/source/local-options')
-rw-r--r--debian/source/local-options2
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644
index 9cdfca9..0000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1,2 +0,0 @@
-unapply-patches
-abort-on-upstream-changes