Adjust filename in debian/jabref-plugin-oo.{install,links}.
authorgregor herrmann <gregoa@debian.org>
Sun, 16 May 2010 15:44:29 +0000 (15:44 -0000)
committergregor herrmann <gregoa@debian.org>
Sun, 16 May 2010 15:44:29 +0000 (15:44 -0000)
commit2b8b61a810e62c37ba6a5959f4868e45e49c9fb2
tree53905f9d5ab7453d0391bbf41fb2e367399afae2
parent6cf5e5e80c028546d160931e3a37602b91893bbb
Adjust filename in debian/jabref-plugin-oo.{install,links}.
debian/changelog
debian/jabref-plugin-oo.install
debian/jabref-plugin-oo.links