debian/jabref-plugin-oo.docs: the HTML documentation was renamed.
authorgregor herrmann <gregoa@debian.org>
Sun, 16 May 2010 15:42:02 +0000 (15:42 -0000)
committergregor herrmann <gregoa@debian.org>
Sun, 16 May 2010 15:42:02 +0000 (15:42 -0000)
commitf8ac912a04411ebf7ed2ac2bfd695d73125d09f4
tree12a8693ab7f38032ed75d6d57025d8e136e799d3
parent2e3e5544ea6f3599110823ef78437224db8171d7
debian/jabref-plugin-oo.docs: the HTML documentation was renamed.
debian/changelog
debian/jabref-plugin-oo.docs