diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-01 13:56:34 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-01 13:56:34 +0100 |
| commit | c3c7d3a417b37bf7268562c20a27916ae0c51adf (patch) | |
| tree | 2d0efcef4d84fd948421dcac5a6f4ad78b97ad54 /powerpc | |
| parent | b1b853a2e9f7f2143fedd58772a702bc9c6a8ba1 (diff) | |
| download | compcert-kvx-c3c7d3a417b37bf7268562c20a27916ae0c51adf.tar.gz compcert-kvx-c3c7d3a417b37bf7268562c20a27916ae0c51adf.zip | |
Better "make clean"
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions