aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3/fix-ppc64le-ptr-size.patch
Commit message (Expand)AuthorAgeFilesLines
* community/z3: fix ppc64le by setting proper ptr widthMike Sullivan2018-08-031-0/+11