diff options
Diffstat (limited to 'gnattools/Makefile.in')
| -rw-r--r-- | gnattools/Makefile.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index de887c0a537..1c8535f93e9 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -1,9 +1,9 @@ # Makefile for gnattools -# Copyright 2003, 2004 Free Software Foundation, Inc. +# Copyright 2003, 2004, 2009 Free Software Foundation, Inc. # # This file 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, @@ -12,8 +12,8 @@ # 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. +# along with this program; see the file COPYING3. If not see +# <http://www.gnu.org/licenses/>. # Default target; must be first. all: gnattools |
