Displaying 1 result from an estimated 1 matches for "01_1".
Did you mean:
0111
2012 Oct 10
3
Menu system bug - MENU DEFAULT not working
From: Matt Fleming <matt at console-pimps.org>
Date sent: Wed, 10 Oct 2012 10:32:07 +0100
Subject: Re: [syslinux] Menu system bug - MENU DEFAULT not
working
> On Tue, 2012-10-09 at 23:09 +0200, Tomas M wrote:
> > > Where xxx is a *different* menu. I count 4. Are you able to reproduce
> > > the problem with a simpler config file?
> >