Pedro Rey Anca b837ef9a8d Disable grub theming		2025-07-10 12:00:48 +02:00
..
core	Disable grub theming	2025-07-10 12:00:48 +02:00
home	Use openpgp keyserver	2025-07-10 11:25:45 +02:00