[sweethome3d] 03/19: Remove source/options.

[Markus Koschany]

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

apo pushed a commit to branch master
in repository sweethome3d.

commit d72a76755c816b6ecac49c4b5315a6f6c31217e2
Author: Markus Koschany <apo at debian.org>
Date:   Wed Oct 12 01:15:54 2016 +0200

    Remove source/options.
---
 debian/source/options | 1 -
 1 file changed, 1 deletion(-)

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

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