debian/jabref-plugin-oo.docs: the HTML documentation was renamed.
[debian/jabref-plugin-oo.git] / debian / jabref-plugin-oo.docs
1 OOPlugin.html