Daniel Marjamäki d606eb5ed9 Bump simplecpp

2020-07-03 11:42:58 +02:00

..

simplecpp

Bump simplecpp

2020-07-03 11:42:58 +02:00

tinyxml

some CMake cleanups and additions (#2639)

2020-05-27 05:15:46 +02:00

externals.pri

Try to fix gui compile error on Travis

2019-04-20 11:26:29 +02:00

picojson.h

Json: Use simple json library picojson to read compile databases

2019-01-05 17:45:07 +01:00

z3_version_old.h

Remove NEW_Z3 macro

2020-05-12 16:57:07 +02:00