Oliver Stöneberg 3a90341961 some CMake cleanups and additions (#2639)		2020-05-27 05:15:46 +02:00
..
simplecpp	cleaned up setting of compiler options and a few more things in CMake (#2599)	2020-04-22 11:04:19 +02:00
tinyxml	some CMake cleanups and additions (#2639)	2020-05-27 05:15:46 +02:00
externals.pri	…
picojson.h	…
z3_version_old.h	Remove NEW_Z3 macro	2020-05-12 16:57:07 +02:00