diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-23 18:40:56 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-23 18:40:56 +0200 |
| commit | 1a52f581eb9cc52e5c1862c7e73253016109e1fc (patch) | |
| tree | ec4fd781aa06fc80c0c00a9a0f4cc2190c99177f /exportclight | |
| parent | bb5dab84859088d70074444cfbf0e51f14e3c782 (diff) | |
| download | compcert-kvx-1a52f581eb9cc52e5c1862c7e73253016109e1fc.tar.gz compcert-kvx-1a52f581eb9cc52e5c1862c7e73253016109e1fc.zip | |
Remove `-version-file` option from option summary
The `-version-file` option was removed in commit 600803cae, but remained
in the option summary, as reported in #386.
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions