Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched refs:grub_set_default (Results 1 - 2 of 2) sorted by null

/external/grub/util/
grub-install.in	33 grub_set_default=${sbindir}/grub-set-default 419 ${grub_set_default} --root-directory=${rootdir} default
grub-install	33 grub_set_default=${sbindir}/grub-set-default 419 ${grub_set_default} --root-directory=${rootdir} default

Completed in 39 milliseconds