summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/menhir: new release switchted from qpl to gplAlexis Ballier2017-04-191-1/+1
* dev-ml/menhir: bump to 20170418Alexis Ballier2017-04-191-0/+36