3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

68 commits

Author SHA1 Message Date
Jan Tojnar 665a0d2836
chrome-gnome-shell: 7d99523 → 9 2018-01-13 15:17:52 +01:00
Sébastien Maccagnoni 9db8e22679
gnomeExtensions.mediaplayer: init at 3.5 2017-12-30 20:00:22 +01:00
Katona László 19175d4f7b dash-to-panel: init at v11 2017-12-29 20:23:08 +01:00
Jan Tojnar ce6cc6e229
gnomeExtensions.topicons-plus: 20 -> 21 2017-11-26 03:10:56 +01:00
Jan Tojnar eac4e05e89
gnomeExtensions.dash-to-dock: 60 -> 61 2017-11-26 03:10:55 +01:00
Linus Heckemann b73e3b6095 GNOME: 3.22 -> 3.24
This is a squash commit of the joint work from:

* Jan Tojnar (@jtojnar)
* Linus Heckemann (@lheckemann)
* Ryan Mulligan (@ryantm)
* romildo (@romildo)
* Tom Hunger (@teh)
2017-08-28 15:32:49 +01:00
Robin Gloster adb178c0e5
gnomeExtensions.topicons-plus: fix version string
It has to start with a digit.
2017-07-18 18:43:47 +02:00
Emanuele Peruffo 240b632026 gnomeExtensions.topicons-plus: init at v20 (#27116)
TopIcons extension for Gnome 3
2017-07-04 17:56:06 +01:00
Emanuele Peruffo 0b1c8793fc gnomeExtensions.caffeine: init at revision unstable-2017-06-21 (#26901)
Caffeine extension for Gnome 3
2017-07-03 08:35:31 +01:00
Michael Raskin a53fb88d33 Merge pull request #25170 from emanueleperuffo/dash-to-dock
gnomeExtensions.dash-to-dock: init at version v57
2017-05-01 16:44:37 +02:00
Emanuele Peruffo c1bc3012bb gnomeExtensions.dash-to-dock: refactor
Using makeFlags instead of patching Makefile
2017-04-24 14:48:36 +02:00
Emanuele Peruffo 8211903825 gnomeExtensions.dash-to-dock: init at version v57
I needed this extensions and wanted to share it with everyone.
I also created the new group called pkgs.gnomeExtensions.
2017-04-24 11:19:52 +02:00
dyrnade f1ec6b99c9 native host connector for gnome extensions 2017-03-30 22:49:09 +03:00
Tuomas Tynkkynen 4db1657fa7 treewide: Make explicit that 'dev' output of glib is used 2016-08-23 04:32:21 +03:00
Aneesh Agrawal 0e5122637b system-monitor gnome-shell extension: init 2016-04-15 16:19:44 -04:00
Aneesh Agrawal 54d2aaca6d workspace-grid gnome-shell extension: init 2016-04-15 16:19:43 -04:00
Aneesh Agrawal 74d7513a2a volume-mixer gnome-shell extension: init 2016-04-15 16:19:43 -04:00
Aneesh Agrawal 08125c4a5f impatience gnome-shell extension: init 2016-04-15 16:19:39 -04:00