[mockito] 07/08: Drop source/local-options and source/options files.

[Markus Koschany]

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

apo pushed a commit to branch master
in repository mockito.

commit ae3b47877db4e39e3091d5390e2a3aa76c51dc93
Author: Markus Koschany <apo at debian.org>
Date:   Fri Apr 1 06:10:29 2016 +0200

    Drop source/local-options and source/options files.
---
 debian/source/local-options | 1 -
 debian/source/options       | 1 -
 2 files changed, 2 deletions(-)

diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644
index 4aceb10..0000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1 +0,0 @@
-unapply-patches
diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index cce1d53..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/mockito.git