summaryrefslogtreecommitdiff
path: root/debian/compat
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2013-07-19 21:14:58 -0700
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2013-07-19 21:27:28 -0700
commitc8eb4bc0f70e45d9f3648275ff0820cadaa885fe (patch)
treeb73edb045c563218491f50f09a31f977990ec63f /debian/compat
parentec827dda505120f70c97077cda22081a906d275f (diff)
Add initial debian directory
Diffstat (limited to 'debian/compat')
-rw-r--r--debian/compat1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+9