Searched refs:skip_line (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/lib/multiboot/
H A Dgrubmenu.c11 skip_line(FILE *infile) { function
52 if(c == '#') skip_line(infile);

Completed in 36 milliseconds