diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-10 14:33:47 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-10 14:33:47 +0100 |
| commit | a7f49e1e55cdf648e7778c1fc12fbc3ac9782c1a (patch) | |
| tree | 5e07dae89efdc5884160124ce1113c6d0152e6bb /configure | |
| parent | f2b1c25aa56a27836652aef3feeee0856c04235c (diff) | |
| download | compcert-a7f49e1e55cdf648e7778c1fc12fbc3ac9782c1a.tar.gz compcert-a7f49e1e55cdf648e7778c1fc12fbc3ac9782c1a.zip | |
Added new Mingw Printer. Currently the only difference to the Cygwin printer is that every symbol must start with an "_".
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions