This website requires JavaScript.
Explore
Help
Sign In
VesperOS
/
gnome-shell-extensions
Watch
6
Star
0
Fork
0
You've already forked gnome-shell-extensions
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
017aedadd2125fa86170b6c5a161160ff7ee45b1
gnome-shell-extensions
/
debian
T
History
Josselin Mouette
017aedadd2
gnome-shell-extensions.gsettings-override: enable the alternative
...
status menu by default.
Closes
:
#648112
.
2011-11-17 00:37:49 +00:00
..
patches
Add alternate-tab_gnome-shell_version patch.
2011-11-12 16:24:11 +00:00
source
Import debian/ directory from
https://github.com/linuxmaniac/pkg_gnome-shell-extensions/tree/master/debian
2011-11-07 16:41:45 +00:00
changelog
gnome-shell-extensions.gsettings-override: enable the alternative
2011-11-17 00:37:49 +00:00
compat
Import debian/ directory from
https://github.com/linuxmaniac/pkg_gnome-shell-extensions/tree/master/debian
2011-11-07 16:41:45 +00:00
control
Add gir1.2-gtop-2.0 Depends for systemMonitor extension
2011-11-12 13:03:47 +00:00
control.in
Add gir1.2-gtop-2.0 Depends for systemMonitor extension
2011-11-12 13:03:47 +00:00
copyright
Use GPL-2.0+ Licence for debian/*
2011-11-07 17:28:11 +00:00
gnome-shell-extensions.gsettings-override
gnome-shell-extensions.gsettings-override: enable the alternative
2011-11-17 00:37:49 +00:00
rules
Enable systemMonitor.
2011-11-12 12:41:23 +00:00
watch
Merge changelog entries
2011-11-07 16:57:37 +00:00