diff debian/dirs @ 22271:8cbd58f431ec

proper GPL heading
author ivo
date Tue, 20 Feb 2007 16:54:49 +0000
parents 4780969312f6
children
line wrap: on
line diff