/* * Copyright (C) 2000 Jeff Dike ([email protected]) * Licensed under the GPL */ #ifndef __STDIO_CONSOLE_H #define __STDIO_CONSOLE_H extern void save_console_flags(void); #endif
