From 2630682676b7d0f3c524ac98fea2567511777269 Mon Sep 17 00:00:00 2001
From: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Date: Sat, 14 Apr 2018 18:00:38 +0200
Subject: [PATCH] dev-java/jcifs: remove unused file

Closes: https://github.com/gentoo/gentoo/pull/7991
---
 dev-java/jcifs/files/1.3.17-build.xml.patch | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 dev-java/jcifs/files/1.3.17-build.xml.patch

diff --git a/dev-java/jcifs/files/1.3.17-build.xml.patch b/dev-java/jcifs/files/1.3.17-build.xml.patch
deleted file mode 100644
index e90c6ef0ace0..000000000000
--- a/dev-java/jcifs/files/1.3.17-build.xml.patch
+++ /dev/null
@@ -1,12 +0,0 @@
---- a/build.xml
-+++ b/build.xml
-@@ -52,8 +52,6 @@ dependencies: Checks that all class dependencies are met.
-             source="1.5"
-             target="1.5"
-             fork="yes"
--            executable="/usr/local/java5/bin/javac"
--            compiler="javac1.5"
-             debug="on">
- <!--
-             <compilerarg line="-Xlint:deprecation -Xlint:unchecked"/>
-index ae4c8d8..2b09fa2 100644
-- 
2.26.2