diff options
author | Alex Griffin <a@ajgrf.com> | 2020-04-07 16:42:17 +0000 |
---|---|---|
committer | Alex Griffin <a@ajgrf.com> | 2020-04-07 16:42:17 +0000 |
commit | a66e21377de9131ef5d261c4754010e7206679ab (patch) | |
tree | d90e7639f0c08a998300747283b34e669e6704b8 /COPYING | |
parent | 2a939c8d8b813d9941649691dddfcda3a751ca0d (diff) | |
parent | 048de09ad8029b0ca31dfc59e600b691f5bd5c94 (diff) |
Merge branch 'compcert' into 'master'
nongnu: Add compcert.
See merge request nonguix/nonguix!21
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions