Tree @
f5e11b88-e46c-46a2-9da4-4c3c35a49805/main
(
Download .tar.gz
)
..
javadoc.patch
jgraph.patch
series
History of debian
/
patches
/
javadoc.patch
@
f5e11b88-e46c-46a2-9da4-4c3c35a49805/main
update patch headers
gregor herrmann
12 years ago
refresh patches without changes
gregor herrmann
15 years ago
* Change the handling of upstream releases (jars-in-zip):
gregor herrmann
15 years ago
Don't use packaged docs but create them from scratch; new patch
gregor herrmann
16 years ago