diff options
| author | Phil Nash | 2017-02-12 22:00:17 +0000 |
|---|---|---|
| committer | Phil Nash | 2017-02-12 22:00:17 +0000 |
| commit | 9a3486a7056e2dab1d8b3ae50343eedda97c0462 (patch) | |
| tree | e4cc2d36aa778e1071065fe2b2dc68a842995a49 /scripts/developBuild.py | |
| parent | d8907918008489c6a205aa7854ea5bee372d9e1e (diff) | |
| download | catch3-9a3486a7056e2dab1d8b3ae50343eedda97c0462.tar.gz | |
Replaced use of dynamic_cast with static_cast.
It wasn't necessary anyway.
This addresses #821
Diffstat (limited to 'scripts/developBuild.py')
0 files changed, 0 insertions, 0 deletions