add (back) patch headers
[debian/jabref.git] / debian / patches / series
index bcb47d519149be1f7772334488af5c68367150de..69506c2fcd6169d35a64c322f8a7fe7151bfa4cc 100644 (file)
@@ -2,5 +2,5 @@ build_xml.patch
 free_javac.patch
 HONOR_DISPLAY_PROPERTIES.patch
 preferences.patch
-BstLexer.patch
+antlr.patch
 BibtexEntry.patch