debian/jabref-plugin-oo.docs: the HTML documentation was renamed.
[debian/jabref-plugin-oo.git] / debian /
drwxr-xr-x   ..
-rw-r--r-- 392 changelog
-rw-r--r-- 744 control
-rw-r--r-- 931 copyright
-rw-r--r-- 14 jabref-plugin-oo.docs
-rw-r--r-- 26 jabref-plugin-oo.examples
-rw-r--r-- 66 jabref-plugin-oo.install
-rw-r--r-- 97 jabref-plugin-oo.links