History of debian / patches @f895053e-31a5-4488-aa41-8063f1833f6e/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
• * Don't move build.xml around; adapt some directory references gregor herrmann 16 years ago
• * Set Standards-Version to 3.7.3 (no changes required). gregor herrmann 16 years ago
• Use quilt for patching instead of calling patch manually. gregor herrmann 16 years ago
• mv jgraph patch, part 2 gregor herrmann 17 years ago