summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/mlton: remove unused patchesMichael Mair-Keimberger2021-03-193-106/+0
* dev-lang/mlton: port to EAPI 7Sam James2021-03-161-5/+8
* dev-lang/mlton: drop 20130715Sam James2021-03-162-122/+0
* */*: Bump copyright on files touched this yearMichał Górny2020-02-111-1/+1
* dev-lang/mlton: [QA] Fix UnnecessarySlashStripDavid Seifert2020-02-081-2/+2
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-5/+5
* dev-lang/mlton: Bump to 20180207, fix 295112 and 581128.Mark Wright2018-03-116-4/+322
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-3/+3
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-086-0/+240