GNU has gotten a newer, better CVS server, so I've moved the official GRUB sources there. To find out how to access it (or browse the CVS tree from the web), see http://www.gnu.org/software/devel.html#CVS Have fun, -- Gordon Matzigkeit <[EMAIL PROTECTED]> //\ I'm a FIG (http://www.fig.org/) Committed to freedom and diversity \// I use GNU (http://www.gnu.org/)