/* Dump-to-file commands, for GDB, the GNU debugger.
- Copyright (c) 2001, 2005, 2007, 2008, 2009, 2010, 2011
- Free Software Foundation, Inc.
+ Copyright (c) 2001, 2005, 2007-2012 Free Software Foundation, Inc.
This file is part of GDB.
extern FILE *fopen_with_cleanup (const char *filename, const char *mode);
-extern char *skip_spaces (char *inp);
-
#endif