diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-06-28 18:51:06 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-06-28 18:51:06 +0200 |
| commit | 282f8a07a2ff201e1b2bee563bd8c6d9d670d261 (patch) | |
| tree | ceadae02b27a0d039e19f29271107b24892377bc /cparser | |
| parent | 711cea9fc37e777487abc815730aacde2b00aef3 (diff) | |
| download | compcert-282f8a07a2ff201e1b2bee563bd8c6d9d670d261.tar.gz compcert-282f8a07a2ff201e1b2bee563bd8c6d9d670d261.zip | |
LICENSE: update the list of files that are dual-licensed under the GPL
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions