…
..
picojson	…
simplecpp	…
tinyxml2	…
.clang-tidy	…
externals.pri	…
z3-LICENSE	…
z3_version_old.h	…