diff options
Diffstat (limited to 'mixlib/mix_vm_clock.h')
| -rw-r--r-- | mixlib/mix_vm_clock.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mixlib/mix_vm_clock.h b/mixlib/mix_vm_clock.h index c283b71..706115e 100644 --- a/mixlib/mix_vm_clock.h +++ b/mixlib/mix_vm_clock.h @@ -1,9 +1,9 @@ /* -*-c-*- ---------------- mix_vm_clock.h : * Declaration of mix_vm_clock_t, a clock for the MIX virtual machine. * ------------------------------------------------------------------ - * Last change: Time-stamp: <00/12/22 01:53:18 jose> + * Last change: Time-stamp: <01/02/20 00:23:58 jose> * ------------------------------------------------------------------ - * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org> + * Copyright (C) 2000 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 |