diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-09 10:55:44 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-09 10:55:44 +0200 |
commit | 72be849e2a9bbe7e8a8438bf561c5a677a35c9e0 (patch) | |
tree | 5c347131392efd7db2b3db9566ba712a660cd3f8 /cfrontend/Csem.v | |
parent | a00de29bc143e758ed034018c3c528e873b9b3da (diff) | |
download | compcert-kvx-72be849e2a9bbe7e8a8438bf561c5a677a35c9e0.tar.gz compcert-kvx-72be849e2a9bbe7e8a8438bf561c5a677a35c9e0.zip |
No trailing commas for --version-file option.
Diffstat (limited to 'cfrontend/Csem.v')
0 files changed, 0 insertions, 0 deletions