ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-11 04:02:55 +03:00
Code Issues Projects Releases Wiki Activity
474,888 Commits 96 Branches 102 Tags 4.5 GiB
f4c66d55c4
Commit Graph

3 Commits

Author SHA1 Message Date
piegames
bffbf4617a gnomeExtensions: integrate manually packaged extensions better with the others 
Their keys are now not used directly. Instead, we go the standard route of mapping to the
UUID in order to apply the rename procedure. This makes sure the manual override always does
the correct thing, and also gives us more consistency overall.
 2021-07-14 03:35:11 +02:00
piegames
6aae2894ef gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
Jan Tojnar
468cb5980b gnome: rename from gnome3 
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
 2021-05-08 09:47:42 +02:00