mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-26 09:10:53 +00:00
Vladimir 'phcoder' Serbinenko
d187a1c3d7
* grub-core/term/i386/pc/vga_text.c (grub_vga_text_init): Rename to ... (grub_vga_text_init_real): ... this. (grub_vga_text_fini): Rename to ... (grub_vga_text_fini_real): ... this.