/*
* Copyright (C) 2000 Jeff Dike (jdike@karaya.com)
* Licensed under the GPL
*/
#ifndef __STDIO_CONSOLE_H
#define __STDIO_CONSOLE_H
extern void save_console_flags(void);
#endif