repo/sync/gentoo.git - Sync-friendly git mirror of repo/gentoo with caches and metadata

	Commit message (Expand)	Author	Age	Files	Lines
*	dev-lang/mlton: remove unused patches	Michael Mair-Keimberger	2021-03-19	3	-106/+0
*	dev-lang/mlton: port to EAPI 7	Sam James	2021-03-16	1	-5/+8
*	dev-lang/mlton: drop 20130715	Sam James	2021-03-16	2	-122/+0
*	/: Bump copyright on files touched this year	Michał Górny	2020-02-11	1	-1/+1
*	dev-lang/mlton: [QA] Fix UnnecessarySlashStrip	David Seifert	2020-02-08	1	-2/+2
*	/: Remove ml@ from packages maintainers	Michał Górny	2019-12-13	1	-4/+1
*	/: [QA] Remove redundant `\|\| die` guards	David Seifert	2019-12-11	1	-5/+5
*	dev-lang/mlton: Bump to 20180207, fix 295112 and 581128.	Mark Wright	2018-03-11	6	-4/+322
*	dev-lang/*: Update Manifest hashes	Michał Górny	2017-12-09	1	-3/+3
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	1	-1/+0
*	Set appropriate maintainer types in metadata.xml (GLEP 67)	Michał Górny	2016-01-24	1	-1/+1
*	Replace all herds with appropriate projects (GLEP 67)	Michał Górny	2016-01-24	1	-1/+4
*	Revert DOCTYPE SYSTEM https changes in metadata.xml	Mike Gilbert	2015-08-24	1	-1/+1
*	Use https by default	Justin Lecher	2015-08-24	1	-1/+1
*	proj/gentoo: Initial commit	Robin H. Johnson	2015-08-08	6	-0/+240