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 /tools | |
parent | 54effdc2bae11f441a34465754e9e43c44b41df9 (diff) | |
download | compcert-77209cf4625da6ffe43ae355ffeda7cf525fc803.tar.gz compcert-77209cf4625da6ffe43ae355ffeda7cf525fc803.zip |
Removed the last remains of cchecklink.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions