lbersch ba60c91e4d Merge branch 'hunter' into master

2017-11-16 12:57:56 +01:00

..

catch

update to Catch2

2017-11-15 22:07:18 +01:00

nlohmann

Moved json headers to appropriately named directory

2017-11-15 23:09:48 +01:00