added grub branding to package list

This commit is contained in:
davedatum 2019-10-25 16:37:06 +01:00
parent 83400df06d
commit 6c8fc70bb0
1 changed files with 1 additions and 0 deletions

View File

@ -20,6 +20,7 @@ gnome-shell-extension-no-topleft-hot-corner
gnome-shell-extension-do-not-disturb
gnome-shell-extension-tweaks-system-menu
tromjaro-gnome-settings
tromjaro-grub-branding
tromjaro-gnome-extension-settings
timeshift