diff options
author | Jakob Odersky <jakob@odersky.com> | 2017-02-09 22:19:01 -0800 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2017-02-09 22:19:01 -0800 |
commit | 05667e53765583fc40eb2f9eedf32511fd528f8a (patch) | |
tree | 5b9d38ec1655c22ccf38e81d6a11e034b6e8ca3a /debian/source | |
parent | 020a5f26d498aa4a1d2c892899e3802b3487700b (diff) | |
download | mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.tar.gz mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.tar.bz2 mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.zip |
Add debian packaging
Diffstat (limited to 'debian/source')
-rw-r--r-- | debian/source/format | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) |