gentoo/overlay - My personal overlay

	Commit message (Expand)	Author	Age	Files	Lines
*	polyml	René Neumann	2011-07-27	2	-0/+40
*	Added newer PolyML version for Isabelle	René 'Necoro' Neumann	2010-03-02	2	-0/+31

/td>BumpRené 'Necoro' Neumann1-3/+3 2012-01-30BumpRené 'Necoro' Neumann1-0/+0 2012-01-30Apply changes from bugs.gentoo.orgRené 'Necoro' Neumann2-1/+19 2012-01-11diffarrayRené Neumann3-0/+37 2012-01-10Remove patched dovecot. Changes are upstreamRené 'Necoro' Neumann8-907/+0 2012-01-10Remove emacs variant -- this is now tracked in patchesRené 'Necoro' Neumann3-363/+0 2011-11-06amd64 for fcgi-cgiRené 'Necoro' Neumann2-2/+2 2011-11-06Forgot dovecot init-fileRené 'Necoro' Neumann1-0/+1