Log In
rpms
/
gnome-shell
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History gnome-shell-avoid-redhat-menus.patch
Branch:
f17
42-rc-2242
f12
f13
f14
f15
f16
f17
f18
f19
f20
f20-gnome-3-12
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
main
origin/airlied/wip/f16-workarounds
rawhide
rstrode/wip/just-for-airlied
f17
gnome-shell-avoid-redhat-menus.patch
update patch
Matthias Clasen
• 12 years ago
d253dfb
Use applications-gnome.menu
Colin Walters
• 13 years ago
99b45e4