summaryrefslogtreecommitdiff
path: root/COPYING3
AgeCommit message (Collapse)Author
2018-11-26Add GPLv3 license textKalle Olavi Niemitalo
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