summaryrefslogtreecommitdiff
path: root/dev-lang/mlton/Manifest (follow)
Commit message (Expand)AuthorAgeFilesLines
* CleanupRené 'Necoro' Neumann2016-08-191-3/+0
* Bump mltonRené 'Necoro' Neumann2013-10-011-0/+3
* Remove mlton -- included in main treeRené 'Necoro' Neumann2013-07-011-4/+0
* MltonRené Neumann2012-02-171-0/+4