update branches/2.5 from beta1 to the 2.5 release
[debian/jabref.git] / debian / patches / 00list
index 4626e1dd1dd18eb422833c95b89f8c8f49c8e262..a2d0cb3f422a6a7e61b79f101e51daaf85a413a1 100644 (file)
@@ -1,3 +1,4 @@
 01_free_javac
 03_external_apps
 04_HONOR_DISPLAY_PROPERTIES
+05_PrintStream_File