Oliver Stöneberg 0d336b868c avoid some Clang compiler warnings (#3896)		2022-03-13 20:07:58 +01:00
..
picojson	…
simplecpp	avoid some Clang compiler warnings (#3896)	2022-03-13 20:07:58 +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-LICENSE	…
z3_version_old.h	…