Jason Turner bb0d100513 Work around coverity crash ... I'm not 100% convinced on these changes, but they might be for the better.		2015-05-30 07:33:34 -06:00
..
chaiscript	Work around coverity crash	2015-05-30 07:33:34 -06:00