diff debian/rules @ 22271:8cbd58f431ec

proper GPL heading
author ivo
date Tue, 20 Feb 2007 16:54:49 +0000
parents 834cc3e275aa
children 0f1b5b68af32
line wrap: on
line diff