# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 976795190 0
# Node ID d9b8ddb354c3de26f1dbeaa94cbf32d097c4aa52
# Parent  44a6d536cea30dece21f96256c79ab2e7b7c9f62
(HAVE_XKBGETKEYBOARD): Add.

diff -r 44a6d536cea3 -r d9b8ddb354c3 src/config.in
--- a/src/config.in	Thu Dec 14 11:31:28 2000 +0000
+++ b/src/config.in	Thu Dec 14 11:59:50 2000 +0000
@@ -255,6 +255,7 @@
 #undef HAVE_XSCREENRESOURCESTRING
 #undef HAVE_XSCREENNUMBEROFSCREEN
 #undef HAVE_XSETWMPROTOCOLS
+#undef HAVE_XKBGETKEYBOARD
 
 #undef HAVE_MKDIR
 #undef HAVE_RMDIR