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 /README.md | |
| parent | 1a01ad629109cdb60fddae3787e3a589d20e9790 (diff) | |
| download | compcert-430263226793599834da40a39b2f82565338bd70.tar.gz compcert-430263226793599834da40a39b2f82565338bd70.zip | |
Revert "Use the same version string."
This reverts commit 1a01ad629109cdb60fddae3787e3a589d20e9790.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions