diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2021-01-19 11:56:01 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2021-01-19 11:56:01 +0100 |
commit | 6bcd2f58d0cef23fb1314fc678657c00a7a0d1e8 (patch) | |
tree | 5b243a0c6865b89e1f2f878f5ba40acb35cd2e1d /Makefile | |
parent | fc9d9ffcf9157d4e84473a209e360ddc2210f95d (diff) | |
download | compcert-kvx-6bcd2f58d0cef23fb1314fc678657c00a7a0d1e8.tar.gz compcert-kvx-6bcd2f58d0cef23fb1314fc678657c00a7a0d1e8.zip |
Some comment clean on RTLpath
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions