Gabriel Arazas 53c2b15454 themes/a-happy-gnome: remove terminal option ... There's not much use for it since custom keyboard shortcuts are not possible to set as a system-wide config. This could easily be added into the list of packages so RIP... :(		2022-07-16 17:16:33 +08:00
..
profiles	profiles/i18n: fix locales list	2022-07-14 09:01:42 +08:00
programs	programs/cardboard-wm: init module	2022-05-13 12:56:11 +08:00
services	profiles/services: remove path assertions	2022-07-13 19:11:33 +08:00
tasks	tasks: update the device info	2022-07-13 19:14:45 +08:00
themes	themes/a-happy-gnome: remove terminal option	2022-07-16 17:16:33 +08:00