Add patch 05_antlr.dpatch: antlr3 in Debian is newer than the
[debian/jabref.git] / debian / patches / 00list
index 4a17e3a2a3cf5c363e2d85a4a1e1cbf6bfcd50b9..efbdd0b64a3dc325fbee47337a4d992484c7722d 100644 (file)
@@ -1,3 +1,5 @@
 01_free_javac
-02_button
-03_libs
+02_libs
+03_external_apps
+04_HONOR_DISPLAY_PROPERTIES
+05_antlr