Paulchen Panther beb9454a1f
Merge pull request #598 from Portisch/destructor
fix warning: throw will always call terminate
2019-08-18 20:02:31 +02:00
..
2018-12-28 18:28:49 +01:00
2019-08-03 19:14:52 +02:00
2019-08-03 19:14:52 +02:00