diff options
| author | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2017-10-02 14:49:26 +0200 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2017-10-02 08:49:26 -0400 |
| commit | d896809a3ae8dfe45864f284c3ef45bfbb2e5ba1 (patch) | |
| tree | 295f2a149d8657e8988f81f5890aee2474f9ab6d /docs/make.bat | |
| parent | f0ffa3f4ea277f9814285085fde20baff60fc386 (diff) | |
Refs #23919 -- Removed unneeded float()/int() calls.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions