diff -r aa1a9fbd6eb8 -r 63a30dd47eb8 config/debug.in
--- a/config/debug.in	Thu May 17 16:22:51 2007 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-# Debug facilities menu
-
-menu "Debug facilities"
-
-source config/debug/gdb.in
-
-endmenu