* Switch patch system from dpatch to quilt.
[debian/jabref.git] / debian / patches / 05_antlr.patch
2008-07-02 gregor herrmann* Switch patch system from dpatch to quilt.