From c7abe91f8b134cbd73658e10993d1dffb44d942d Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Fri, 24 Mar 2006 22:54:41 +0000 Subject: CVS $Id$ tags removed. git-archimport-id: mdk@sv.gnu.org/mdk--devel--1--patch-7 --- mixutils/mixvm_command.h | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'mixutils/mixvm_command.h') 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. - * + * */ -- cgit v1.2.3