aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2021-01-19 11:56:01 +0100
committerCyril SIX <cyril.six@kalray.eu>2021-01-19 11:56:01 +0100
commit6bcd2f58d0cef23fb1314fc678657c00a7a0d1e8 (patch)
tree5b243a0c6865b89e1f2f878f5ba40acb35cd2e1d /Makefile
parentfc9d9ffcf9157d4e84473a209e360ddc2210f95d (diff)
downloadcompcert-kvx-6bcd2f58d0cef23fb1314fc678657c00a7a0d1e8.tar.gz
compcert-kvx-6bcd2f58d0cef23fb1314fc678657c00a7a0d1e8.zip
Some comment clean on RTLpath
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions