Daniel Marjamäki ef5d5e84c5 Fixed #8936 (Add PicoJSON Copyright notice)		2020-11-14 21:31:50 +01:00
..
picojson	Fixed #8936 (Add PicoJSON Copyright notice)	2020-11-14 21:31:50 +01:00
simplecpp	bump simplecpp (fix hang when systemheader includes itself)	2020-09-14 15:43:43 +02:00
tinyxml	some CMake cleanups and additions (#2639)	2020-05-27 05:15:46 +02:00
externals.pri	Fixed #8936 (Add PicoJSON Copyright notice)	2020-11-14 21:31:50 +01:00
z3-LICENSE	Fixed #8936 (Add PicoJSON Copyright notice)	2020-11-14 21:31:50 +01:00
z3_version_old.h	Remove NEW_Z3 macro	2020-05-12 16:57:07 +02:00