8
8
/* Header file for GDB-specific command-line stuff.
9
9
Copyright (C) 1986, 1989, 1990, 1991, 1992, 1993, 1994, 1998, 1999, 2000,
10
2002, 2007, 2008, 2009 Free Software Foundation, Inc.
10
2002, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
12
12
This program is free software; you can redistribute it and/or modify
13
13
it under the terms of the GNU General Public License as published by