Sijmen e6297ae229 Switch from gnome console to gnome terminal		2022-09-04 19:06:19 +02:00
..
gtk.nix	gtk: add scintilla subbookmark	2022-08-20 15:34:23 +02:00
home.nix	Switch from gnome console to gnome terminal	2022-09-04 19:06:19 +02:00