/* Header file for GDB CLI command implementation library.
- Copyright (c) 2000,2006 Free Software Foundation, Inc.
+ Copyright (c) 2000,2006,2007 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by