diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-01-09 16:43:57 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2018-01-09 16:43:57 +0100 |
| commit | d270d2e104fd81248c1020347bb63dad046e232f (patch) | |
| tree | fbbdd695345ef5037ac9ac759b1f8bcf5846c622 /exportclight | |
| parent | 35448688e67e97e27f09c5c79b1e11f98430eb18 (diff) | |
| download | compcert-kvx-d270d2e104fd81248c1020347bb63dad046e232f.tar.gz compcert-kvx-d270d2e104fd81248c1020347bb63dad046e232f.zip | |
Remove mnemonics not exported to JSON from mnemonics list
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions