diff options
| author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-10-25 02:08:03 +0300 |
|---|---|---|
| committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-10-25 02:08:03 +0300 |
| commit | e5b6461ea3cf49254062387c0451cc0386a12b02 (patch) | |
| tree | a94b3e2b0980ec1c08459b68e848d9083faee9ff /debian/source | |
| parent | a0e9a0760267c6a11f24e4800caa5bd25e2aa3bb (diff) | |
Add debian/ dir for debian packaging
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/format | 1 | ||||
| -rw-r--r-- | debian/source/local-options | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 00000000..163aaf8d --- /dev/null +++ b/debian/source/format | |||
| @@ -0,0 +1 @@ | |||
| 3.0 (quilt) | |||
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 | ||