danderson/ofborg
0
0
Fork 0
forked from the-distro/ofborg
Code Pull requests Activity

config.public.json: Rename the GNOME label

Browse source 
GNOME might switch to different versioning scheme soon so gnome3 might not make sense.
This commit is contained in:
Jan Tojnar 2020-07-24 22:42:08 +02:00 committed by GitHub
parent d7633725b8
commit 2303536992
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
config.public.json
View file

@ -137,7 +137,7 @@
"6.topic: fetch": [
"pkgs/build-support/fetch"
],
"6.topic: gnome3": [
"6.topic: GNOME": [
"pkgs/desktops/gnome-3",
"nixos/modules/services/x11/desktop-managers/gnome3.nix",
"nixos/tests/gnome3.nix",