diff options
| author | Kalle Olavi Niemitalo <kon@iki.fi> | 2018-11-25 11:54:12 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-11-26 00:37:13 +0100 |
| commit | e952f70189bf34039453334b725a0da70086873e (patch) | |
| tree | 325c3e289dd5281060ff3eeea7e4e77645849f8f /kern/boot_script.c | |
| parent | 23588c267fa08b5d27793e62bb72214164107e97 (diff) | |
| download | gnumach-e952f70189bf34039453334b725a0da70086873e.tar.gz gnumach-e952f70189bf34039453334b725a0da70086873e.tar.bz2 gnumach-e952f70189bf34039453334b725a0da70086873e.zip | |
Add GPLv3 license text
To help people satisfy the license when they convey clones
of the gnumach Git repository, in which gitlog-to-changelog
and some deleted files are licensed under GPLv3-or-later.
A normal build does not use the GPLv3-or-later files. "make dist"
runs gitlog-to-changelog but does not copy it to gnumach-*.tar.
Bug: https://savannah.gnu.org/bugs/?49024
Diffstat (limited to 'kern/boot_script.c')
0 files changed, 0 insertions, 0 deletions