On 02/14/2011 08:20 AM, Chris Lumens wrote: > > We are working on making it smaller, but don't expect any miracles. >
Is it possible to make grub print more dots? I think that this would help a lot to give users a sense that something is actually happening. -- ======================================================================== Ian Pilcher arequip...@gmail.com ======================================================================== -- test mailing list test@lists.fedoraproject.org To unsubscribe: https://admin.fedoraproject.org/mailman/listinfo/test
