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

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/twelf: eutils--	Sam James	2021-04-18	1	-2/+2
*	sci-mathematics/twelf: Remove old	Jakov Smolic	2021-01-20	1	-113/+0
*	sci-mathematics/twelf: Update virtual/emacs dependency.	Ulrich Müller	2019-12-20	2	-4/+4
*	sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207.	Mark Wright	2018-03-11	3	-5/+132
*	sci-mathematics: Update Manifest hashes.	Ulrich Müller	2017-12-10	1	-1/+1
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	1	-1/+0
*	fix quoting to a lot of patch calls	Mike Frysinger	2017-01-20	1	-2/+2
*	sci-mathematics/twelf: Fix doc generation	Vikraman Choudhury	2016-02-11	1	-0/+1
*	sci-mathematics/twelf: Fix typo	Vikraman Choudhury	2016-02-11	1	-2/+2
*	Set appropriate maintainer types in metadata.xml (GLEP 67)	Michał Górny	2016-01-24	1	-1/+1
*	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	10	-0/+641