diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-09 10:13:20 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-09 10:13:20 +0100 |
| commit | d58e8e79326cae16361a219399ef102da128db03 (patch) | |
| tree | f8f7debc1e45b3d7656c4db3e6ef78a0b29887f3 /powerpc/TargetPrinter.ml | |
| parent | 871ef2f625914e8debf3c28432d9d26fcce136fa (diff) | |
| download | compcert-d58e8e79326cae16361a219399ef102da128db03.tar.gz compcert-d58e8e79326cae16361a219399ef102da128db03.zip | |
Added ${arch}_${bitsize} for x86 to .merlin
Diffstat (limited to 'powerpc/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions