diff options
Diffstat (limited to 'mixutils/mixvm_command.h')
-rw-r--r-- | mixutils/mixvm_command.h | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/mixutils/mixvm_command.h b/mixutils/mixvm_command.h index 28ff877..7b6dfa8 100644 --- a/mixutils/mixvm_command.h +++ b/mixutils/mixvm_command.h @@ -1,24 +1,22 @@ /* -*-c-*- ---------------- mixvm_command.h : * Declarations for commands accepted by the mix virtual machine * ------------------------------------------------------------------ - * $Id: mixvm_command.h,v 1.5 2005/09/20 19:43:13 jao Exp $ - * ------------------------------------------------------------------ - * Copyright (C) 2000, 2001, 2002 Free Software Foundation, Inc. - * + * Copyright (C) 2000, 2001, 2002, 2006 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 * (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. - * + * */ |