X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgethrxtime.c;h=3886752c19d55f2dd84278513c1b81315365a70f;hb=6951841b81058b0dd883fcdeb2be31d6aa8b8658;hp=2046e0607fa52821383c6cc995bf784cb6a5f6d0;hpb=5661ab9d49512b4cf3c19caa11bb581d8ce561ba;p=pspp

diff --git a/lib/gethrxtime.c b/lib/gethrxtime.c
index 2046e0607f..3886752c19 100644
--- a/lib/gethrxtime.c
+++ b/lib/gethrxtime.c
@@ -1,11 +1,11 @@
 /* gethrxtime -- get high resolution real time
 
-   Copyright (C) 2005, 2006, 2007 Free Software Foundation, Inc.
+   Copyright (C) 2005-2007, 2009-2011 Free Software Foundation, Inc.
 
-   This program is free software; you can redistribute it and/or modify
+   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, or (at your option)
-   any later version.
+   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,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -13,8 +13,7 @@
    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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 /* Written by Paul Eggert.  */