Merge remote-tracking branch 'github/pr/108'
[gentoo.git] / dev-python / prompt_toolkit /
2015-09-11 Patrice ClementMerge remote-tracking branch 'github/pr/26'.
2015-09-09 Michał GórnyMerge game-action/minetest: Version bump to 0.4.13
2015-09-07 Michał GórnyMerge Gentoo/FreeBSD 10.1 removal (PR #47)
2015-09-07 Patrice Clementapp-shells/autojump: Merge 'github/pr/66'. Fixes bug...
2015-09-07 Patrice Clementdev-java/maven-bin: Version bump courtesy of Thanh...
2015-09-06 Justin Lecherdev-python/prompt_toolkit: Version Bump
2015-09-05 Andreas K. Huettel... Merge remote-tracking branch 'remotes/github/pr/45'
2015-09-02 Justin Lecherdev-python/prompt_toolkit: Version Bump
2015-08-25 Michał GórnyMerge media-sound/spotify: Fix homepage URL
2015-08-24 Mike GilbertRevert DOCTYPE SYSTEM https changes in metadata.xml
2015-08-24 Justin LecherUse https by default
2015-08-21 Justin Lecherdev-python/prompt_toolkit: Version Bump
2015-08-09 Justin Lecherdev-python/prompt_toolkit: Version Bump
2015-08-09 Justin Lecherdev-python/prompt_toolkit: Drop old
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit