diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-02-15 13:46:39 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-02-15 13:46:39 +0100 |
| commit | 70ec998cfda48dcef37368cf2712736949e378fc (patch) | |
| tree | d311376913446c03121ecf6e21ea1a3ad3517ef3 /cparser/Cutil.ml | |
| parent | 1aee802bf438fff7a83dec4607cabefdc398c3de (diff) | |
| download | compcert-kvx-70ec998cfda48dcef37368cf2712736949e378fc.tar.gz compcert-kvx-70ec998cfda48dcef37368cf2712736949e378fc.zip | |
drop .cm support from man page
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions