projects / ocaml.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7b53528)
Remove debian/source/local-options
authorStephane Glondu <steph@glondu.net>
Wed, 24 Jul 2019 07:37:47 +0000 (09:37 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Wed, 24 Jul 2019 08:30:36 +0000 (10:30 +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.