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