update debian_libs.patch: we now have /usr/share/java/jgoodies-forms.jar
[debian/jabref.git] / debian / patches / debian_libs.patch
2012-11-20 gregor herrmannupdate debian_libs.patch: we now have /usr/share/java...
2012-11-19 gregor herrmannrefresh (and rename) patches again