/* Header file for GDB CLI utility library.
- Copyright (c) 2001 Free Software Foundation, Inc.
+ Copyright (c) 2001, 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