/* console.c by Victor Rachels for console stuff... we'd need it eventually */ #include #include #include "types.h" #include "newmenu.h" void console_main() {}