move grub stuff out of tree #27
Description
The tree package adds some grub configuration, but that should be considered part of the installation procedure, which is (except for those files) manual, with only a suggested approach in the README.
{{ message }}