workstation/roles
2019-11-19 22:41:24 +00:00
..
distro/tasks Use vim-motif, and exclude vim from non-GUI 2019-11-10 17:24:57 +00:00
distro-gui Add mate-terminal 2019-11-19 22:35:12 +00:00
home Make prompt simple again 2019-11-19 12:58:36 +00:00
home-gui Only use mate-terminal as the default terminal 2019-11-19 22:41:24 +00:00