summaryrefslogtreecommitdiff
path: root/Test/wishlist/granted
Commit message (Expand)AuthorAge
* Grant "wishlist/useless-casts-in-decreases-clauses.dfy"Gravatar Clément Pit--Claudel2015-08-22