diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-08-24 10:47:47 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-08-24 10:47:47 +0200 |
| commit | 2c0518a387cb0d79faae3c4545ab4eb2317665dd (patch) | |
| tree | eff7017f4eac6b736f19023c6fdc0d14c74670cf /runtime/x86_64 | |
| parent | 0e2c72a69b2d36652ad5d41d923d70f6f200940b (diff) | |
| download | compcert-2c0518a387cb0d79faae3c4545ab4eb2317665dd.tar.gz compcert-2c0518a387cb0d79faae3c4545ab4eb2317665dd.zip | |
Fixed typo.
Diffstat (limited to 'runtime/x86_64')
0 files changed, 0 insertions, 0 deletions