From 05667e53765583fc40eb2f9eedf32511fd528f8a Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Thu, 9 Feb 2017 22:19:01 -0800 Subject: Add debian packaging --- debian/source/format | 1 + 1 file changed, 1 insertion(+) create mode 100644 debian/source/format (limited to 'debian/source/format') 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) -- cgit v1.2.3