integrate patches from Gerardo Curiel
[debian/jabref.git] / debian / patches / 05_antlr.dpatch
2008-04-20 gregor herrmannintegrate patches from Gerardo Curiel
2008-04-12 gregor herrmannAdd patch 05_antlr.dpatch: antlr3 in Debian is newer...