gentoo/overlay - My personal overlay

	Commit message (Expand)	Author	Age	Files	Lines
*	Removed outdated packages	René 'Necoro' Neumann	2012-02-18	3	-71/+0
*	Mlton	René Neumann	2012-02-17	2	-0/+62
*	polyml	René Neumann	2011-07-27	2	-0/+40
*	Added newer PolyML version for Isabelle	René 'Necoro' Neumann	2010-03-02	2	-0/+31

2006-09-15Typo -.-necoro1-1/+1 2006-09-15Added Thread-Module and made the "refresh" working (forgot the __init__.py)necoro1-1/+1 t/commit/pkg/version/version.go?h=v0.4.0&id=40f7f691d4143c7be4dc72babb2b5288cbfef45c&follow=1'>Explicit version infoRené 'Necoro' Neumann4-12/+15 2020-05-03--version flagRené 'Necoro' Neumann1-0/+6 2020-05-03Rename from 'client' to 'cl'René 'Necoro' Neumann5-26/+26 2020-05-03Use UIDPLUS Imap extensionRené 'Necoro' Neumann4-11/+33 2020-05-03Fix update in IMAPRené 'Necoro' Neumann1-2/+12 2020-05-03Update support for IMAPRené 'Necoro' Neumann5-17/+205 2020-05-03Option "reupload-if-updated"René 'Necoro' Neumann2-0/+4 2020-05-03Fix typoRené 'Necoro' Neumann1-2/+2 2020-05-02Use uuid library directly and encode to base64.René 'Necoro' Neumann6-10/+16 2020-05-02RestructureRené 'Necoro' Neumann8-95/+111 2020-05-02WIP: Message-IdsRené 'Necoro' Neumann8-5/+40 2020-05-02Typo and mention config example in READMERené 'Necoro' Neumann2-1/+3