2 Commits

Author	SHA1	Message	Date
Nuno Lopes	52168a8503	[z3] bump version to 4.8.5 (#6803)	2019-06-06 18:53:20 -07:00
JackBoosY	7bd2e96ada	[z3]Fix install files path and add tools.	2019-05-21 04:31:57 +00:00