discover/grub: Allow to choose a different BLS directory
[petitboot] / .gitignore
2017-11-03 Cyril BurAdd root .gitignore