[bullet] 06/20: Remove source/options file because xz compression is the default now.

[Markus Koschany]

This is an automated email from the git hooks/post-receive script.

apo-guest pushed a commit to branch master
in repository bullet.

commit b34506403cabefa6518a1629f00d023d46829920
Author: Markus Koschany <apo at gambaru.de>
Date:   Wed May 6 14:00:07 2015 +0200

    Remove source/options file because xz compression is the default now.
---
 debian/source/options | 2 --
 1 file changed, 2 deletions(-)

diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index afe23f7..0000000
--- a/debian/source/options
+++ /dev/null
@@ -1,2 +0,0 @@
-compression="xz"
-

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/bullet.git