summaryrefslogtreecommitdiffstats
path: root/devel/theft
AgeCommit message (Expand)Author
2018-12-08devel/theft: new spell, property-based testing for CFlorian Franzmann