Age | Commit message (Expand) | Author |
---|---|---|
2023-03-11 | some clarifications on licensing | Christian Grothoff |
2023-03-11 | update parts of the outdated information on licensing | Christian Grothoff |
2019-08-29 | include licenses in PDF | Florian Dold |
2017-05-31 | move content away to proper repos, plus killing obsolete stuff | Marcello Stanisci |