projects / juce.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cb21674)
Drop obsolete d/source/local-options
authorIOhannes m zmölnig <zmoelnig@umlautS.umlaeute.mur.at>
Tue, 20 Aug 2019 11:46:04 +0000 (13:46 +0200)
committerIOhannes m zmölnig <zmoelnig@umlautS.umlaeute.mur.at>
Tue, 20 Aug 2019 11:46:04 +0000 (13:46 +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.