diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-20 17:55:24 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-20 17:55:24 +0200 |
| commit | 5111bce03766251ffde8cd3d29a315c3c7c64364 (patch) | |
| tree | f0192011c801663e531e42dbeb0f15bb4355fc87 /.gitignore | |
| parent | 5c408186f4f66d6955c9d2a682cec36231343f87 (diff) | |
| parent | dfa2941c7df7641872464ff07466f754718df1c1 (diff) | |
| download | compcert-kvx-5111bce03766251ffde8cd3d29a315c3c7c64364.tar.gz compcert-kvx-5111bce03766251ffde8cd3d29a315c3c7c64364.zip | |
Merge branch 'clean' of https://github.com/fpottier/CompCert into fpottier-clean
Conflicts:
Makefile.extr
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions