diff options
author | 2016-11-11 20:50:25 +0100 | |
---|---|---|
committer | 2016-11-11 20:50:25 +0100 | |
commit | dbd07cef385248937dc509135088f81329216209 (patch) | |
tree | ca54a779da52166190769d743bffe9367fb299e7 /3rdparty/catch/scripts/generateSingleHeader.py | |
parent | 1efccdd38d4bac6ec44e13f0a6cdf877e3a1c7cb (diff) |
Use true/false if type used is bool (nw)
Diffstat (limited to '3rdparty/catch/scripts/generateSingleHeader.py')
0 files changed, 0 insertions, 0 deletions