gnome-extra/gnome-shell-extension-desktop-icons: Stabilize
[gentoo.git] / gnome-extra / gnome-shell-extensions /
2015-11-15 Pacho Ramosgnome-extra/gnome-shell-extensions: Version bump
2015-10-05 Markos ChandrasMerge remote-tracking branch 'jirutka/lxc-grsec'
2015-10-03 Michał Górnydev-db/postgresql: Merge "use /bin/sh (...) for postgre...
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/52'.
2015-09-27 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/135'
2015-09-16 Justin LecherMerge branch 'marbre-glm'
2015-09-12 Agostino Sarubbognome-extra/gnome-shell-extensions: x86 stable wrt...
2015-09-11 Patrice ClementMerge remote-tracking branch 'github/pr/26'.
2015-09-09 Jauhien PiatlickiMerge remote-tracking branch 'Vindex17/master'
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 Mikle Kolyadagnome-extra/gnome-shell-extensions: amd64 stable wrt...
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-09 Robin H. Johnsonproj/gentoo: Initial commit