diff options
| author |   Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-02-07 17:48:50 +0200 |
|---|---|---|
| committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-02-07 17:48:50 +0200 |
| commit | e7bf063abc2ca3a46c778e0194f0e8d4ef1a5168 (patch) | |
| tree | 44bf4f3613855c6756628ef3711801313438528c /tools/set_version.sh | |
| parent | 47b10ec0ab370475c51294707c0fe6e160046973 (diff) | |
Add check for sizeof(double) == 8.
Update issue 54
Status: FixedInGit
Diffstat (limited to 'tools/set_version.sh')
0 files changed, 0 insertions, 0 deletions