projects / jacktrip.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4fa6e38)
Drop obsolete d/source/local-options
authorIOhannes m zmölnig <zmoelnig@umlautS.umlaeute.mur.at>
Wed, 28 Aug 2019 07:18:56 +0000 (09:18 +0200)
committerIOhannes m zmölnig <zmoelnig@umlautS.umlaeute.mur.at>
Wed, 28 Aug 2019 07:18:56 +0000 (09:18 +0200)
debian/source/local-options [deleted file] patch | blob | history

diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644 (file)
index 9cdfca9..0000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1,2 +0,0 @@
-unapply-patches
-abort-on-upstream-changes
Unnamed repository; edit this file 'description' to name the repository.