summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/z3: fix documentationMaciej Barć2022-03-211-0/+107