On 10.12.2011 07:03, Peter Lustig wrote:
I've followed all your recommendations (as far as possible). Here's
the code again.
The empty options are still there. Your arguments for having it aren't
command-specific so it's a wrong to put such workarounds here. Also
please user command and not extcmd since you have no arguments.
--
Regards
Vladimir 'φ-coder/phcoder' Serbinenko
_______________________________________________
Grub-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/grub-devel
