diff --git a/tools/list_CONTRIBUTORS b/tools/list_CONTRIBUTORS index 2954f583ab23df5fc286f7ee270d324f333b39df..1b88451da3d69da58aeed62ec0609e4364487bb6 100755 --- a/tools/list_CONTRIBUTORS +++ b/tools/list_CONTRIBUTORS @@ -1,5 +1,11 @@ #!/bin/sh +# This program is licensed under the GNU GPL version 2 or later. +# (c) Richard "RichiH" Hartmann <richih@debian.org>, 2012-2014 +# For details, see LICENSE. To submit patches, you have to agree to +# license your code under the GNU GPL version 2 or later. + + echo 'Alphabetical list of surnames of everyone who ever committed to this repository. Auto-generated from tools/list_CONTRIBUTORS. '