aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch
Commit message (Expand)AuthorAgeFilesLines
* community/z3: attempt to fix build on some architecturesSören Tempel2019-11-231-0/+24