History of debian / patches @eeeb6e772ba0f36fd07caa4779eef1efdcf01f87
- 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