summaryrefslogtreecommitdiff
path: root/debian/source/local-options
diff options
context:
space:
mode:
authorManos Pitsidianakis <el13635@mail.ntua.gr>2020-10-25 02:08:03 +0300
committerManos Pitsidianakis <el13635@mail.ntua.gr>2020-10-25 02:08:03 +0300
commite5b6461ea3cf49254062387c0451cc0386a12b02 (patch)
treea94b3e2b0980ec1c08459b68e848d9083faee9ff /debian/source/local-options
parenta0e9a0760267c6a11f24e4800caa5bd25e2aa3bb (diff)
Add debian/ dir for debian packaging
Diffstat (limited to 'debian/source/local-options')
-rw-r--r--debian/source/local-options2
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/source/local-options b/debian/source/local-options
new file mode 100644
index 00000000..00131ee8
--- /dev/null
+++ b/debian/source/local-options
@@ -0,0 +1,2 @@
1#abort-on-upstream-changes
2#unapply-patches