Details | Last modification | View Log | RSS feed
/* Copyright (C) 1994 DJ Delorie, see COPYING.DJ for details */
#include
#undef getchar
int getchar(void)
{
return fgetc(stdin);
}