diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-12-28 11:19:30 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-12-28 11:19:30 +0100 |
| commit | e9d73b0a901d7dfe1fd219aecc960747e7c49483 (patch) | |
| tree | 94f835cf56a1feb453a1f65534e28334c6e258f8 /debian/source | |
| parent | debba1a49a46ba963553da222ade563d6d67932b (diff) | |
| download | gnunet-e9d73b0a901d7dfe1fd219aecc960747e7c49483.tar.gz gnunet-e9d73b0a901d7dfe1fd219aecc960747e7c49483.zip | |
import Debian build rules, split off libgnunet
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/format | 1 | ||||
| -rw-r--r-- | debian/source/options | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/debian/source/format | |||
| @@ -0,0 +1 @@ | |||
| 3.0 (quilt) | |||
diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 000000000..e928a9118 --- /dev/null +++ b/debian/source/options | |||
| @@ -0,0 +1,3 @@ | |||
| 1 | extend-diff-ignore = "^(config\.sub|config\.guess|Makefile)$" | ||
| 2 | |||
| 3 | |||