Juan RP 1ade715cf2 grub: move to usr/bin.		2015-06-02 07:55:45 +02:00
..
files	…
patches	…
template	grub: move to usr/bin.	2015-06-02 07:55:45 +02:00