aboutsummaryrefslogtreecommitdiff
path: root/lang/mosml/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Cleanup github bits.Mathieu Arnold2016-05-121-2/+2
* Moscow_ml has been renamed mosmlJohan van Selst2016-05-111-0/+2