remove duplicated line.
authortoins <toins>
Thu, 12 Jul 2007 15:28:31 +0000 (15:28 +0000)
committertoins <toins>
Thu, 12 Jul 2007 15:28:31 +0000 (15:28 +0000)
commita8bca5403e242bf7ddcf77e1800b41e836e24004
treeb83f4b4438d0e739857bb7a6c91c5d156ceffc39
parent3c1ae55fcf952942afda8bfdd772b46a83a7816f
remove duplicated line.
cataloguing/plugin_launcher.pl