aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakob Odersky <jakob@odersky.com>2017-02-12 19:29:53 -0800
committerJakob Odersky <jakob@odersky.com>2017-02-12 19:38:50 -0800
commitf340f901bbc7d920f4321ec7bf4ddf4615a2372a (patch)
treec878cc8ba4c7a928f3034ed4460b9a8fec936ce6
parent05667e53765583fc40eb2f9eedf32511fd528f8a (diff)
downloadmavigator-f340f901bbc7d920f4321ec7bf4ddf4615a2372a.tar.gz
mavigator-f340f901bbc7d920f4321ec7bf4ddf4615a2372a.tar.bz2
mavigator-f340f901bbc7d920f4321ec7bf4ddf4615a2372a.zip
Use native debian packaging
-rw-r--r--debian/changelog2
-rw-r--r--debian/source/format2
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog
index f78231e..7ae4baf 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-mavigator (0.0.1-3) unstable; urgency=medium
+mavigator (0.1.0) unstable; urgency=medium
* Initial release
diff --git a/debian/source/format b/debian/source/format
index 163aaf8..89ae9db 100644
--- a/debian/source/format
+++ b/debian/source/format
@@ -1 +1 @@
-3.0 (quilt)
+3.0 (native)