diff options
| author | Bart Jacobs <bart.jacobs@cs.kuleuven.be> | 2019-05-21 13:20:34 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-21 13:20:34 +0200 |
| commit | 49e19c73ab339c3a5ad079fb38851257a1aa347a (patch) | |
| tree | 56e5a953aab6f66c8447a8ff7c3d1392a1112f15 /configure | |
| parent | 45f7c8be7179942d9667a5a26cb1bb6f6fcd2d04 (diff) | |
| download | compcert-49e19c73ab339c3a5ad079fb38851257a1aa347a.tar.gz compcert-49e19c73ab339c3a5ad079fb38851257a1aa347a.zip | |
Csyntax.v: Fix a typo in a documentation comment (#292)
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions