summaryrefslogtreecommitdiff
path: root/debian/source/options
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-05 13:00:25 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-05 13:00:25 +0200
commitf290fdbcfd2aa300d999537cf7230810dc00bb8e (patch)
tree4b825dc642cb6eb9a060e54bf8d69288fbee4904 /debian/source/options
parent3d575cfc9ea097fb622d4c56600f04ef8de9ed65 (diff)
Drop spurious merge of the debian branch into upstream
Diffstat (limited to 'debian/source/options')
-rw-r--r--debian/source/options1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index 8f04d6d..0000000
--- a/debian/source/options
+++ /dev/null
@@ -1 +0,0 @@
-compression = "bzip2"