diff options
Diffstat (limited to 'mixlib/mix_vm_clock.h')
| -rw-r--r-- | mixlib/mix_vm_clock.h | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/mixlib/mix_vm_clock.h b/mixlib/mix_vm_clock.h index 3c19973..366d7d2 100644 --- a/mixlib/mix_vm_clock.h +++ b/mixlib/mix_vm_clock.h @@ -1,24 +1,22 @@ /* -*-c-*- ---------------- mix_vm_clock.h : * Declaration of mix_vm_clock_t, a clock for the MIX virtual machine. * ------------------------------------------------------------------ - * Last change: Time-stamp: <01/02/20 00:23:58 jose> - * ------------------------------------------------------------------ - * Copyright (C) 2000 Free Software Foundation, Inc. - * + * Copyright (C) 2000, 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 - * 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, * 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. - * + * * 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. - * + * */ |