Imported from ../bash-4.0-rc1.tar.gz.

[thirdparty/bash.git] / lib / tilde / shell.c

diff --git a/lib/tilde/shell.c b/lib/tilde/shell.c
index a45af2d44abb608b1025388333921bb3a8a049c6..40a95b6355a1e83574c69c3769b13b1c67e01e11 100644 (file)
--- a/lib/tilde/shell.c
+++ b/lib/tilde/shell.c
@@ -1,24 +1,23 @@
 /* shell.c -- tilde utility functions that are normally provided by
              bash when readline is linked as part of the shell. */
 
-/* Copyright (C) 1998 Free Software Foundation, Inc.
+/* Copyright (C) 1998-2009 Free Software Foundation, Inc.
 
    This file is part of the GNU Tilde Library.
 
-   The GNU Tilde Library 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, or
+   The GNU Tilde Library 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 3 of the License, or
    (at your option) any later version.
 
-   The GNU Tilde Library is distributed in the hope that it will be
-   useful, but WITHOUT ANY WARRANTY; without even the implied warranty
-   of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   The GNU Tilde Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.
 
-   The GNU General Public License is often shipped with GNU software, and
-   is generally kept in a file called COPYING or LICENSE.  If you do not
-   have a copy of the license, write to the Free Software Foundation,
-   59 Temple Place, Suite 330, Boston, MA 02111 USA. */
+   You should have received a copy of the GNU General Public License
+   along with the GNU Tilde Library.  If not, see <http://www.gnu.org/licenses/>.
+*/
 
 #if defined (HAVE_CONFIG_H)
 #  include <config.h>