# HG changeset patch
# User jwe
# Date 809073563 0
# Node ID 8fcbc533d9e230bd30268f6411c15b708a2ffa01
# Parent  88d41e3204d507451a143de75dd2221f56c3fc4e
[project @ 1995-08-22 06:39:23 by jwe]
Initial revision

diff -r 88d41e3204d5 -r 8fcbc533d9e2 config.h.bot
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config.h.bot	Tue Aug 22 06:39:23 1995 +0000
@@ -0,0 +1,6 @@
+
+#if defined (__GNUC__)
+#define UNUSED __attribute__ ((__unused__))
+#else
+#define UNUSED
+#endif