Daniel Marjamäki b6fa9bb5aa Revert "bump simplecpp" ...

This reverts commit bba31be87a5dd163b10fbfb5e6082ec9b0aa5b56.

2022-03-21 19:11:26 +01:00

..

picojson

picojson: Add LICENSE

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

simplecpp

Revert "bump simplecpp"

2022-03-21 19:11:26 +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