diff options
Diffstat (limited to '')
| -rwxr-xr-x | debian/update-copyright | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/update-copyright b/debian/update-copyright index 5a8b89e..a64d66f 100755 --- a/debian/update-copyright +++ b/debian/update-copyright @@ -75,6 +75,11 @@ license_information = [ ], }, { + "shortname": "GPL-3", + "filename": "GPL-3", + "upstream_names": ["GPL-3", "GPL-3+", "GPL-3.0-or-later"], + }, + { "shortname": "Linux-man-pages-1-para", "filename": "Linux-man-pages-1-para", "upstream_names": ["Linux-man-pages-1-para"], |