diff debian/copyright @ 24021:8434aae12d7c

Remove unused definition.
author diego
date Wed, 08 Aug 2007 23:33:34 +0000
parents a44bc6314a30
children 32725ca88fed
line wrap: on
line diff