summaryrefslogtreecommitdiff
path: root/LICENCE
AgeCommit message (Expand)Author
2018-05-11Fix some links and be more clear about licensingAlasdair Armstrong
2018-02-21clean LICENCEPeter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 19:46:16 +0000