Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-11-26 | Add GPLv3 license text | Kalle 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 |