diff options
| author |   Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2015-01-05 22:32:34 +0200 |
|---|---|---|
| committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2015-01-05 22:32:34 +0200 |
| commit | fa444be4243b2e1f0f6ee22798ddbf0c85e54422 (patch) | |
| tree | 79408d59bee41c54bf62c0ed703416c020d5de38 /tools/set_version.sh | |
| parent | cc3c8732fd3f8505f46802dd54bd4a21c79b72aa (diff) | |
Allow using 8/16/32/64 as values in int_size setting
Diffstat (limited to 'tools/set_version.sh')
0 files changed, 0 insertions, 0 deletions