Daniel Marjamäki c02dd5bf23 bump simplecpp

2021-12-16 21:18:27 +01:00

..

picojson

picojson: Add LICENSE

2020-11-15 15:22:58 +01:00

simplecpp

bump simplecpp

2021-12-16 21:18:27 +01:00

tinyxml2

improved compiler warnings about missing attributes (#3232)

2021-04-25 12:52:09 +02:00

.clang-tidy

added clang-tidy to CI (#3218)

2021-04-18 21:51:47 +02:00

externals.pri

rename externals/tinyxml to externals/tinyxml2

2020-11-16 09:11:53 +01:00

z3_version_old.h

Remove NEW_Z3 macro

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

z3-LICENSE

Fixed #8936 (Add PicoJSON Copyright notice)

2020-11-14 21:31:50 +01:00