remove gdb_string.h

[deliverable/binutils-gdb.git] / gdb / tui / tui-command.h

diff --git a/gdb/tui/tui-command.h b/gdb/tui/tui-command.h
index 7afeb1bb39599b9a9129ed684d0ba04629165b7c..784367685ad63cb6b7d4387b22da4f691972e773 100644 (file)
--- a/gdb/tui/tui-command.h
+++ b/gdb/tui/tui-command.h
@@ -1,12 +1,14 @@
 /* Specific command window processing.
-   Copyright 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
+
+   Copyright (C) 1998-2013 Free Software Foundation, Inc.
+
    Contributed by Hewlett-Packard Company.
 
    This file is part of GDB.
 
    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
-   the Free Software Foundation; either version 2 of the License, or
+   the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.
 
    This program is distributed in the hope that it will be useful,
@@ -15,28 +17,11 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330,
-   Boston, MA 02111-1307, USA.  */
-
-#ifndef _TUI_COMMAND_H
-#define _TUI_COMMAND_H
-/*
-   ** This header file supports
- */
-
-
-/*****************************************
-** TYPE DEFINITIONS                        **
-******************************************/
-
-
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
-/*****************************************
-** PUBLIC FUNCTION EXTERNAL DECLS        **
-******************************************/
+#ifndef TUI_COMMAND_H
+#define TUI_COMMAND_H
 
-extern unsigned int tuiDispatchCtrlChar (unsigned int);
+extern unsigned int tui_dispatch_ctrl_char (unsigned int);
 
 #endif
-/*_TUI_COMMAND_H*/