projects / ocaml.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3118806)
Remove debian/source/local-options
authorStephane Glondu <steph@glondu.net>
Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +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 c4cf480..0000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1,2 +0,0 @@
-abort-on-upstream-changes
-unapply-patches
Unnamed repository; edit this file 'description' to name the repository.