Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
devel:openSUSE:Factory:rpmlint
jdom
no-jaxen.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File no-jaxen.patch of Package jdom
diff -urEbwB jdom/build.xml jdom.new/build.xml --- jdom/build.xml 2012-02-26 00:30:45.000000000 +0100 +++ jdom.new/build.xml 2023-08-23 19:35:51.544436993 +0200 @@ -254,6 +255,7 @@ use="true" splitindex="true" noindex="false" + failonerror="false" windowtitle="${Name} v${version}" doctitle="${Name} v${version}<br>API Specification" header="<b>${Name}<br><font size='-1'>${version}</font></b>"
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor