diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-10-28 07:24:52 -0700 |
|---|---|---|
| committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-10-28 07:24:52 -0700 |
| commit | 3af0034cced33aaf8284f617d1cd6d3e9484102f (patch) | |
| tree | 3a440c3ec6a534c29e63bc3ef18c10eeb4472a4a /.gitignore | |
| parent | db1be72f045a377b99788f160362036e4c3e9271 (diff) | |
| parent | 0e9ce30b09291812b14230f14a0614a2deee47a7 (diff) | |
| download | compcert-3af0034cced33aaf8284f617d1cd6d3e9484102f.tar.gz compcert-3af0034cced33aaf8284f617d1cd6d3e9484102f.zip | |
Merge pull request #62 from fpottier/comment
Fixed some comments.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions