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