wok log grub2/stuff/etc-default-grub

age author description
2021-03-25 Hans-G?nter Theisgen grub2: added /etc/default/grub