templates/boot/grub/%SHORT_NAME%_options.cfg: fix missing quotes
[grml-live.git] / debian / grml-live-db.manpages
2018-12-13 Michael ProkopRework debian/, following current best practices