]> source.dussan.org Git - jgit.git/commitdiff
Remove duplicate ignore_optional_problems entry in .classpath 07/155207/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sat, 4 Jan 2020 12:10:00 +0000 (13:10 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Sat, 4 Jan 2020 12:10:00 +0000 (13:10 +0100)
Change-Id: I326377c90af59ecaada7f5185a638726a8e909b7
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit.benchmarks/.classpath

index 1285bd9e362b8afb668eba71413d432b61d788b7..438d155e3184d4a4ce77f8d66407a4f927b7c0d0 100644 (file)
@@ -18,7 +18,6 @@
        </classpathentry>
        <classpathentry kind="src" path=".apt_generated">
                <attributes>
-                       <attribute name="ignore_optional_problems" value="true"/>
                        <attribute name="optional" value="true"/>
                        <attribute name="maven.pomderived" value="true"/>
                        <attribute name="ignore_optional_problems" value="true"/>