comparison debian/dirs @ 22271:8cbd58f431ec

proper GPL heading
author ivo
date Tue, 20 Feb 2007 16:54:49 +0000
parents 4780969312f6
children
comparison
equal deleted inserted replaced
22270:9d2aaf9197d6 22271:8cbd58f431ec