From b3f134766195e32ea1f8d3e640d4dcccf5aa4f23 Mon Sep 17 00:00:00 2001 From: obrien Date: Thu, 20 Jun 2002 20:54:54 +0000 Subject: Remove GAWK. I removed it from the build 2 weeks ago and the world did not end. So finish the deed. --- contrib/awk/patchlev.h | 1 - 1 file changed, 1 deletion(-) delete mode 100644 contrib/awk/patchlev.h (limited to 'contrib/awk/patchlev.h') diff --git a/contrib/awk/patchlev.h b/contrib/awk/patchlev.h deleted file mode 100644 index 2867bba..0000000 --- a/contrib/awk/patchlev.h +++ /dev/null @@ -1 +0,0 @@ -#define PATCHLEVEL 0 -- cgit v1.1