diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-18 16:32:56 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-18 16:32:56 +0200 |
commit | 5975b2e5568b5b32e42153d281017660de155e27 (patch) | |
tree | e3dc68da4cdc1211ff8c62f82aa1993b90b029da /exportclight/Clightdefs.v | |
parent | ab6a906f09514d1ed81fb0970fb7151021407062 (diff) | |
download | compcert-5975b2e5568b5b32e42153d281017660de155e27.tar.gz compcert-5975b2e5568b5b32e42153d281017660de155e27.zip |
Document -target and -conf. Bug 20210
Diffstat (limited to 'exportclight/Clightdefs.v')
0 files changed, 0 insertions, 0 deletions