update deprecated option

This commit is contained in:
Quentin Boyer 2022-01-18 21:13:57 +01:00
parent f451fd608a
commit 24549e86d3

View file

@ -27,7 +27,7 @@ in
name = "DejaVu Sans";
};
theme = {
package = pkgs.gnome.gnome_themes_standard;
package = pkgs.gnome.gnome-themes-extra;
name = "Adwaita";
};
};