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