diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2014-07-23 18:18:26 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2014-07-23 18:18:26 +0200 |
| commit | 44a1fdd0075c7818b65d4191290cdce733687146 (patch) | |
| tree | 3254cbee0a3ab39757bb7a1972faa884127f33cd /debian/source/local-options | |
| parent | a366a6feda133b888da763569953636c90017f57 (diff) | |
| parent | cce8437bfbdb21e2b97025de6721c78f6d4654fc (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-options | 2 |
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 |