Adjust filenames in debian/jabref-plugin-oo.{install,links}.
authorgregor herrmann <gregoa@debian.org>
Tue, 29 Mar 2011 16:06:53 +0000 (16:06 -0000)
committergregor herrmann <gregoa@debian.org>
Tue, 29 Mar 2011 16:06:53 +0000 (16:06 -0000)
commit7e702e9058274e44a99c57ebe0e05a3278f24711
treee0cfccc706533374e84585060e9664e1ffd78bbd
parent2bf0f350434153cab97b5403b083781f23dc6178
Adjust filenames in debian/jabref-plugin-oo.{install,links}.
debian/changelog
debian/jabref-plugin-oo.install
debian/jabref-plugin-oo.links