1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
# ChangeLog for gnome-extra/gnome-shell-extensions
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/ChangeLog,v 1.19 2014/03/09 10:50:25 pacho Exp $
09 Mar 2014; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.10.1.ebuild:
amd64 stable, bug 499954
22 Feb 2014; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.10.1.ebuild:
Fix wrong commit, bug 502160
22 Feb 2014; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.10.1.ebuild:
arch stable, bug 888
*gnome-shell-extensions-3.10.1 (24 Dec 2013)
24 Dec 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.10.1.ebuild, -gnome-shell-extensions-3.6.2.ebuild,
-gnome-shell-extensions-3.8.3.1.ebuild, -gnome-shell-extensions-3.8.3.ebuild:
Version bump for Gnome 3.10
08 Dec 2013; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.8.4.ebuild:
x86 stable, bug #478252
30 Nov 2013; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.8.4.ebuild:
amd64 stable, bug #478252
*gnome-shell-extensions-3.8.4 (15 Sep 2013)
15 Sep 2013; Gilles Dartiguelongue <eva@gentoo.org>
+gnome-shell-extensions-3.8.4.ebuild:
Version bump.
*gnome-shell-extensions-3.8.3.1 (18 Jun 2013)
18 Jun 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.3.1.ebuild, -gnome-shell-extensions-3.8.2.ebuild:
Version bump, drop old.
*gnome-shell-extensions-3.8.3 (09 Jun 2013)
09 Jun 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.3.ebuild, -gnome-shell-extensions-3.8.1.ebuild:
Version bump, drop old
*gnome-shell-extensions-3.8.2 (15 May 2013)
15 May 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.2.ebuild, -gnome-shell-extensions-3.8.0.ebuild:
Version bump, drop old
*gnome-shell-extensions-3.8.1 (20 Apr 2013)
20 Apr 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.1.ebuild:
Version bump
29 Mar 2013; Gilles Dartiguelongue <eva@gentoo.org>
-gnome-shell-extensions-3.4.0-r1.ebuild,
-files/gnome-shell-extensions-3.4.0-auto-move-windows-removed-crash.patch,
-files/gnome-shell-extensions-3.4.0-places-menu-align.patch,
-files/gnome-shell-extensions-3.4.0-windowsNavigator-tooltip-crash.patch,
gnome-shell-extensions-3.8.0.ebuild:
Clean up old revision.
*gnome-shell-extensions-3.8.0 (28 Mar 2013)
28 Mar 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.0.ebuild:
Version bump for Gnome 3.8
*gnome-shell-extensions-3.6.2 (26 Dec 2012)
26 Dec 2012; Gilles Dartiguelongue <eva@gentoo.org>
-gnome-shell-extensions-3.2.2.ebuild, +gnome-shell-extensions-3.6.2.ebuild:
Version bump for Gnome 3.6. Clean up old revisions.
*gnome-shell-extensions-3.4.0-r1 (14 May 2012)
14 May 2012; Alexandre Rostovtsev <tetromino@gentoo.org>
-gnome-shell-extensions-3.2.0-r2.ebuild,
-files/gnome-shell-extensions-3.2.0-dock-gnome-3.2.patch,
-files/gnome-shell-extensions-3.2.0-dock-popup-menus.patch,
-files/gnome-shell-extensions-3.2.0-gnome-3.2.1.patch,
-files/gnome-shell-extensions-3.2.0-systemMonitor-CSS.patch,
-files/gnome-shell-extensions-3.2.0-systemMonitor-enable-disable.patch,
+gnome-shell-extensions-3.4.0-r1.ebuild,
+files/gnome-shell-extensions-3.4.0-auto-move-windows-removed-crash.patch,
+files/gnome-shell-extensions-3.4.0-places-menu-align.patch,
+files/gnome-shell-extensions-3.4.0-windowsNavigator-tooltip-crash.patch:
Version bump for gnome-shell-3.4. Drop old.
05 May 2012; Jeff Horelick <jdhore@gentoo.org>
gnome-shell-extensions-3.2.0-r2.ebuild, gnome-shell-extensions-3.2.2.ebuild:
dev-util/pkgconfig -> virtual/pkgconfig
12 Dec 2011; Alexandre Rostovtsev <tetromino@gentoo.org>
gnome-shell-extensions-3.2.2.ebuild:
Fix building with <intltool-0.50 (bug #394445, thanks to poncho for
reporting).
*gnome-shell-extensions-3.2.2 (11 Dec 2011)
11 Dec 2011; Alexandre Rostovtsev <tetromino@gentoo.org>
gnome-shell-extensions-3.2.0-r2.ebuild, +gnome-shell-extensions-3.2.2.ebuild:
Bump to 3.2.2 + latest upstream patches. Notable changes: systemMonitor and
alternate-tab bugfixes, azerty keyboard compatibility, fixes for
alternative-status-menu crashes (should fix bug #392279 reported by jlec).
Note that extension IDs in this version have changed; as a result, extensions
may have become auto-disabled, and you will need to re-enable them.
*gnome-shell-extensions-3.2.0-r2 (06 Nov 2011)
06 Nov 2011; Alexandre Rostovtsev <tetromino@gentoo.org>
+gnome-shell-extensions-3.2.0-r2.ebuild,
+files/gnome-shell-extensions-3.2.0-dock-gnome-3.2.patch,
+files/gnome-shell-extensions-3.2.0-dock-popup-menus.patch,
+files/gnome-shell-extensions-3.2.0-gnome-3.2.1.patch,
+files/gnome-shell-extensions-3.2.0-systemMonitor-CSS.patch,
+files/gnome-shell-extensions-3.2.0-systemMonitor-enable-disable.patch,
+metadata.xml:
Add extensions for gnome-base/gnome-shell from the gnome overlay.
|
GitWeb