Unnamed repository
Go to file
2018-07-31 17:48:41 +02:00
.gitignore Update to upstream version 7.0.2 2017-01-16 11:26:30 +01:00
0001-Add-javadoc-target-to-build.xml.patch Generate javadoc 2013-07-30 17:10:30 +02:00
javacc.spec Add requirement on javapackages-tools 2018-07-31 17:48:41 +02:00
sources Update to upstream version 7.0.2 2017-01-16 11:26:30 +01:00