diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-05-10 11:04:03 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-05-10 11:04:03 +0200 |
| commit | abc067fedfaa6ad3e8b5991588ed48c4c385cfc0 (patch) | |
| tree | 4f51af5dffd376902432d39f8b57eca9a11bfe29 /cparser/deLexer.ml | |
| parent | 3f98769c5cdf5a57fe2849fc1772dbecdd498b68 (diff) | |
| download | compcert-abc067fedfaa6ad3e8b5991588ed48c4c385cfc0.tar.gz compcert-abc067fedfaa6ad3e8b5991588ed48c4c385cfc0.zip | |
fix typo 'clinker_option' in configure for OSX
Diffstat (limited to 'cparser/deLexer.ml')
0 files changed, 0 insertions, 0 deletions