summaryrefslogtreecommitdiff
path: root/src/bin/exactness/exactness_play.in (follow)
AgeCommit message (Expand)Author
2020-04-02exactness docs: Add docs, fix docs, remove docsXavi Artigas
2020-03-31exactness_play: introduce runner scriptMarcel Hollerbach