diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-02-27 10:15:40 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-03-02 10:30:15 +0100 |
| commit | 35ba7f373963d8a1f0094abd457809d1e3c3cdb4 (patch) | |
| tree | c5b61f1716c0d70df46e1de6e4c9499c080cd5da /extraction | |
| parent | 9190ca38b3ae098186421a7cc21a087666a6a677 (diff) | |
| download | compcert-35ba7f373963d8a1f0094abd457809d1e3c3cdb4.tar.gz compcert-35ba7f373963d8a1f0094abd457809d1e3c3cdb4.zip | |
Documentation comment for single_passed_as_single
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions