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