# HG changeset patch
# User jwe
# Date 809074814 0
# Node ID 019ab630c727c8f30dbe392f650768d7a2095abd
# Parent  d29df210dcde2f9b2b38bdc65541dc262b06d8d6
[project @ 1995-08-22 07:00:14 by jwe]

diff -r d29df210dcde -r 019ab630c727 config.h.bot
--- a/config.h.bot	Tue Aug 22 06:53:23 1995 +0000
+++ b/config.h.bot	Tue Aug 22 07:00:14 1995 +0000
@@ -1,6 +1,6 @@
 
 #if defined (__GNUC__)
-#define UNUSED __attribute__ ((__unused__))
+#define UNUSED
 #else
 #define UNUSED
 #endif