From 37c99098458420b6eaeadbbf47ef5d18924e218c Mon Sep 17 00:00:00 2001 From: jraynard Date: Thu, 16 Oct 1997 21:39:00 +0000 Subject: Delete redundant files (thanks, Andrei!) --- contrib/awk/random.h | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 contrib/awk/random.h (limited to 'contrib/awk/random.h') diff --git a/contrib/awk/random.h b/contrib/awk/random.h deleted file mode 100644 index 7fd0ff9..0000000 --- a/contrib/awk/random.h +++ /dev/null @@ -1,29 +0,0 @@ -/* - * random.h - redefine name of random lib routines to avoid conflicts - */ - -/* - * Copyright (C) 1996 the Free Software Foundation, Inc. - * - * This file is part of GAWK, the GNU implementation of the - * AWK Programming Language. - * - * GAWK 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. - * - * GAWK 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA - */ - -#define initstate gawk_initstate -#define setstate gawk_setstate -#define random gawk_random -#define srandom gawk_srandom -- cgit v1.1