aboutsummaryrefslogtreecommitdiffstats
path: root/INSTALL.md
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-06-29 17:02:37 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-06-29 17:02:37 +0200
commit144fb87e857c06f7dfe8cb68ce7aea79761aecae (patch)
tree001b8bd15555888bbf6265c4acaa3e7a49afbd4d /INSTALL.md
parentfd2898bef357da68ae4962120ce723748b488137 (diff)
downloadcompcert-kvx-144fb87e857c06f7dfe8cb68ce7aea79761aecae.tar.gz
compcert-kvx-144fb87e857c06f7dfe8cb68ce7aea79761aecae.zip
Replacing crosses by dots
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions