refresh (and rename) patches again
[debian/jabref.git] / debian / patches / debian_libs.patch
2012-11-19 gregor herrmannrefresh (and rename) patches again