Add new patch 05_PrintStream_File, PrintStream(File) is undefined in

[debian/jabref.git] / debian / patches / 00list

diff --git a/debian/patches/00list b/debian/patches/00list
index 4626e1dd1dd18eb422833c95b89f8c8f49c8e262..a2d0cb3f422a6a7e61b79f101e51daaf85a413a1 100644 (file)
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,3 +1,4 @@
 01_free_javac
 03_external_apps
 04_HONOR_DISPLAY_PROPERTIES
+05_PrintStream_File