summaryrefslogtreecommitdiff
path: root/dist/debian/compat
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff.email>2018-10-01 07:17:16 +0200
committerJörg Frings-Fürst <debian@jff.email>2018-10-01 07:17:16 +0200
commit71137cc5832110d91599d68790402cf196762ed3 (patch)
treee7985bbfb6ca50ea738b38a9f852ee51431d48a7 /dist/debian/compat
parent8ae550d463720d5d1c0e253af29843ff15de1a54 (diff)
parent1e92964463e564bb3359a7110342182fcfdc67f2 (diff)
Merge branch 'release/debian/0.30.1-1'debian/0.30.1-1
Diffstat (limited to 'dist/debian/compat')
-rw-r--r--dist/debian/compat1
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/debian/compat b/dist/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/dist/debian/compat
@@ -0,0 +1 @@
+9