diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-05-05 09:53:37 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-05-05 09:53:37 -0300 |
| commit | bc3c14a76b988a50e65328a932316c2e630a7ae6 (patch) | |
| tree | bf6ce42c3dfee2707f7b8adff072297603b59a23 /tools | |
| parent | 0995a230f627e0c953f7fe299be3c6c7449bd0be (diff) | |
Made type-checking for arguments less trict between bool, int real. Fixes #1816
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions