diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-06-12 21:11:56 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-06-13 06:34:10 +0200 |
| commit | c3c93eb70222eb0d0e0d9eec8b09fc53329cc608 (patch) | |
| tree | e62ada346d1d7669316022a4cc42209b983bdb3a /configure | |
| parent | 9d68047d4984e1ba0c50e45f2cd8e520c9ce4513 (diff) | |
| download | ghdl-c3c93eb70222eb0d0e0d9eec8b09fc53329cc608.tar.gz ghdl-c3c93eb70222eb0d0e0d9eec8b09fc53329cc608.tar.bz2 ghdl-c3c93eb70222eb0d0e0d9eec8b09fc53329cc608.zip | |
bug071: tentatively set precision for mingw64.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions