summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-lang/dafny-bin: use insoptsMaciej Barć36 min.