From f290fdbcfd2aa300d999537cf7230810dc00bb8e Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Fri, 5 Aug 2011 13:00:25 +0200
Subject: Drop spurious merge of the debian branch into upstream

---
 debian/source/options | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 debian/source/options

(limited to 'debian/source/options')

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"
-- 
cgit v1.2.3