summaryrefslogtreecommitdiff
path: root/debian/compat
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-30 19:36:16 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-30 19:36:16 -0400
commit0ddd52122a12092b684be5af50e45bd02d5091f7 (patch)
tree3c42969097bd015d860e3e2157b79642c96258d4 /debian/compat
parentb12b43b0a902735c3e042635fb91e633f224fbde (diff)
Update to debhelper 13
Diffstat (limited to 'debian/compat')
-rw-r--r--debian/compat1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/compat b/debian/compat
deleted file mode 100644
index ec635144..00000000
--- a/debian/compat
+++ /dev/null
@@ -1 +0,0 @@
-9