[trove3] 23/33: drop unneeded patch hunk with locale issues

[Emmanuel Bourg]

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

ebourg-guest pushed a commit to branch master
in repository trove3.

commit 001d6026cc05b29639ed1e180e0971f94f61c928
Author: Erich Schubert <erich at debian.org>
Date:   Sun Jun 3 22:24:49 2012 +0000

    drop unneeded patch hunk with locale issues
---
 debian/patches/01_build_target_5_0.patch | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/debian/patches/01_build_target_5_0.patch b/debian/patches/01_build_target_5_0.patch
index 9b65996..ac08655 100644
--- a/debian/patches/01_build_target_5_0.patch
+++ b/debian/patches/01_build_target_5_0.patch
@@ -18,10 +18,3 @@
              <src path="${test_src}"/>
              <exclude name="gnu/trove/benchmark/colt/**"/>
              <exclude name="gnu/trove/benchmark/trove2/**"/>
-@@ -442,4 +442,4 @@
-             <format property="fullVersion" pattern="'build time' yyMMddHHmmss"/>
-         </tstamp>
-     </target>
--</project>
-\ Kein Zeilenumbruch am Dateiende.
-+</project>

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