GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnome-extra
/
gnome-shell-extensions
/
Manifest
Commit message (
Expand
)
Author
Age
Files
Lines
*
gnome-extra/gnome-shell-extensions: bump to 3.32.1
Mart Raudsepp
2019-09-07
1
-0
/
+1
*
gnome-extra/gnome-shell-extensions: remove old
Mart Raudsepp
2019-05-19
1
-3
/
+0
*
gnome-extra/gnome-shell-extensions: remove old
Mart Raudsepp
2019-03-31
1
-1
/
+0
*
gnome-extra/gnome-shell-extensions: bump to 3.30.1
Mart Raudsepp
2019-03-18
1
-0
/
+1
*
gnome-extra/gnome-shell-extensions: bump to 3.28.1
Mart Raudsepp
2019-03-01
1
-0
/
+1
*
gnome-extra/gnome-shell-extensions: bump to 3.26.2
Mart Raudsepp
2018-09-28
1
-0
/
+2
*
gnome-extra/gnome-shell-extensions: remove old
Mart Raudsepp
2018-02-04
1
-1
/
+0
*
gnome-extra/*: Update Manifest hashes
Michał Górny
2017-12-10
1
-2
/
+2
*
gnome-extra/gnome-shell-extensions: bump to 3.24.3
Mart Raudsepp
2017-07-21
1
-0
/
+1
*
gnome-extra/gnome-shell-extensions: remove old
Mart Raudsepp
2017-04-02
1
-1
/
+0
*
gnome-extra/gnome-shell-extensions: cleanup old revision
Gilles Dartiguelongue
2016-11-12
1
-1
/
+0
*
gnome-extra/gnome-shell-extensions: version bump 3.20.1 → 3.22.2
Gilles Dartiguelongue
2016-11-12
1
-0
/
+1
*
gnome-extra/gnome-shell-extensions: fix manifest (bug #587124)
Alexandre Rostovtsev
2016-06-27
1
-1
/
+1
*
gnome-extra/gnome-shell-extensions: Version bump
Pacho Ramos
2016-06-25
1
-0
/
+1
*
gnome-extra/gnome-shell-extensions: Drop old
Pacho Ramos
2016-06-25
1
-2
/
+0
*
gnome-extra/gnome-shell-extensions: bump to 3.18.4
Rémi Cardona
2016-03-08
1
-0
/
+1
*
gnome-extra/gnome-shell-extensions: Drop old
Pacho Ramos
2016-01-10
1
-1
/
+0
*
gnome-extra/gnome-shell-extensions: Version bump, uses adwaita-icon-theme ico...
Pacho Ramos
2016-01-10
1
-0
/
+1
*
gnome-extra/gnome-shell-extensions: Drop old
Pacho Ramos
2015-11-15
1
-2
/
+0
*
gnome-extra/gnome-shell-extensions: Version bump
Pacho Ramos
2015-11-15
1
-0
/
+1
*
proj/gentoo: Initial commit
Robin H. Johnson
2015-08-08
1
-0
/
+3