Quit a number of commands are not documented. Is it intentional (because they are not considered "user level API")? Should documentation for them go into grub or grub-dev?
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
