diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 11:13:20 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 11:13:20 +0200 |
commit | a0924753089854930e77b0d4c26944a66250d42c (patch) | |
tree | 0218a58095bc5b8f184ed016ed3443c795c4d54c /VERSION | |
parent | 13f5abe2a0d38e726249b66be574c82a96fec6e4 (diff) | |
download | compcert-a0924753089854930e77b0d4c26944a66250d42c.tar.gz compcert-a0924753089854930e77b0d4c26944a66250d42c.zip |
Updated comment string. Bug 18004.
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions