diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2016-12-27 19:50:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-27 19:50:01 +0100 |
| commit | 9b022d749dc5b1fdb091ff8a74647c03fc1f84bb (patch) | |
| tree | 24218347dd375ebdf36789659a5fd092cc8aa575 /.gitignore | |
| parent | 647cc8dc9699277cb1e77ae3b07c007186720d59 (diff) | |
| parent | 860f28734063628f5582be91c7429b14f0922917 (diff) | |
| download | compcert-kvx-9b022d749dc5b1fdb091ff8a74647c03fc1f84bb.tar.gz compcert-kvx-9b022d749dc5b1fdb091ff8a74647c03fc1f84bb.zip | |
Merge pull request #153 from AbsInt/anonymous_struct2
Next try for support of anonymous structs.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions