diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-03 09:51:22 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-03 09:51:22 +0200 |
commit | 1fbd5d18a9f4398d7ecb9b9ab148a96f575fd1e0 (patch) | |
tree | 5970e035badc9e544589e65845d33df6ab583865 /x86/SelectOp.vp | |
parent | dc8b24fa2dd7ede561dd75458899cf42e9be09d2 (diff) | |
download | compcert-kvx-1fbd5d18a9f4398d7ecb9b9ab148a96f575fd1e0.tar.gz compcert-kvx-1fbd5d18a9f4398d7ecb9b9ab148a96f575fd1e0.zip |
Englishification of comments
Diffstat (limited to 'x86/SelectOp.vp')
0 files changed, 0 insertions, 0 deletions