summaryrefslogtreecommitdiff
path: root/dev-lang/mlton/Manifest (follow)
Commit message (Collapse)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