.. |
appindicator
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
arc-menu
|
gnomeExtensions.arc-menu: init at 31
|
2019-09-02 19:03:18 -04:00 |
battery-status
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
caffeine
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
chrome-gnome-shell
|
chrome-gnome-shell: remove firefox note
|
2019-09-05 23:20:30 -04:00 |
clipboard-indicator
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
dash-to-dock
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
dash-to-panel
|
gnomeExtensions.dash-to-panel: 19 -> 23
|
2019-09-02 17:26:59 -04:00 |
gsconnect
|
gnomeExtensions.gsconnect: 23 -> 26
|
2019-09-30 19:39:46 +02:00 |
icon-hider
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
mediaplayer
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
no-title-bar
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
nohotcorner
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
pidgin-im-integration
|
gnomeExtensions.pidgin-im-integration: 1.0.1 -> 32
|
2019-08-01 13:20:18 +02:00 |
remove-dropdown-arrows
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
sound-output-device-chooser
|
gnomeExtensions.sound-output-device-chooser: unstable-2019-03-10 → unstable-2019-04-01
|
2019-04-17 21:10:32 +02:00 |
system-monitor
|
gnomeExtensions.system-monitor: 36 -> 38
|
2019-09-08 19:51:57 +02:00 |
taskwhisperer
|
treewide: remove redundant quotes
|
2019-09-08 23:38:31 +00:00 |
tilingnome
|
|
|
timepp
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
topicons-plus
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
window-corner-preview
|
gnomeExtensions.window-corner-preview: unstable-2019-02-27 → unstable-2019-04-03
|
2019-04-17 21:10:32 +02:00 |
impatience.nix
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
volume-mixer.nix
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
workspace-grid.nix
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |