Daniel Marjamäki 0725aa3f8b Bump simplecpp

2022-03-23 18:04:31 +01:00

..

picojson

picojson: Add LICENSE

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

simplecpp

Bump simplecpp

2022-03-23 18:04:31 +01:00

tinyxml2

avoid some Clang compiler warnings (#3896)

2022-03-13 20:07:58 +01: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