On Tue, Jan 22, 2013 at 05:12:18PM +, Colin Watson wrote:
> On Tue, Jan 22, 2013 at 05:08:51PM +0400, Andrey Borzenkov wrote:
> > 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 gru
On Tue, Jan 22, 2013 at 05:08:51PM +0400, Andrey Borzenkov wrote:
> 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?
I spent some time documenting the list of commands a w
