diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 16:37:08 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 16:37:08 +0100 |
| commit | 77209cf4625da6ffe43ae355ffeda7cf525fc803 (patch) | |
| tree | 973b263fb46bd11ff5286cc1fd33b7ff5f35ab25 /runtime/include | |
| parent | 54effdc2bae11f441a34465754e9e43c44b41df9 (diff) | |
| download | compcert-kvx-77209cf4625da6ffe43ae355ffeda7cf525fc803.tar.gz compcert-kvx-77209cf4625da6ffe43ae355ffeda7cf525fc803.zip | |
Removed the last remains of cchecklink.
Diffstat (limited to 'runtime/include')
0 files changed, 0 insertions, 0 deletions