the-distro/ofborg
2
0
Fork 1
Code Issues 1 Pull requests 1 Packages Projects Releases Wiki Activity

Merge pull request #526 from jtojnar/patch-1

Browse source 
config.public.json: Rename the GNOME label
This commit is contained in:
Cole Helbling 2020-07-24 14:05:10 -07:00 committed by GitHub
parent d7633725b8 2303536992
commit a4a30446ae
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",