vgabios: Rename vga.c to vgabios.c.
[seabios.git] / vgasrc / vgafb.c
index 1e1943dc2b6cb126b885a29c33d0f2ff1dbd5969..f85cd286a9d9aee75294aba6bdc58f40096b4984 100644 (file)
@@ -7,7 +7,7 @@
 
 #include "biosvar.h" // GET_BDA
 #include "util.h" // memset_far
-#include "vgatables.h" // find_vga_entry
+#include "vgabios.h" // find_vga_entry
 
 
 /****************************************************************