diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-08 16:51:22 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-08 16:51:22 +0200 |
commit | 430263226793599834da40a39b2f82565338bd70 (patch) | |
tree | 97050987f1c1afc5a18cd328d93ee95e566a76d0 /cfrontend/Initializers.v | |
parent | 1a01ad629109cdb60fddae3787e3a589d20e9790 (diff) | |
download | compcert-430263226793599834da40a39b2f82565338bd70.tar.gz compcert-430263226793599834da40a39b2f82565338bd70.zip |
Revert "Use the same version string."
This reverts commit 1a01ad629109cdb60fddae3787e3a589d20e9790.
Diffstat (limited to 'cfrontend/Initializers.v')
0 files changed, 0 insertions, 0 deletions