X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=menus.c;h=304d3c419999af0ff3fbd2ddf7e374212030c736;hb=76a31cef74e7f1f84d9d3c0b76971ca1633321cf;hp=f786eda5a939f535b2e8f742e7c0731b57cb1f65;hpb=02c925e3932929a5eb4e9a2d6d025f383670ebf6;p=xboard.git

diff --git a/menus.c b/menus.c
index f786eda..304d3c4 100644
--- a/menus.c
+++ b/menus.c
@@ -384,12 +384,6 @@ InfoProc ()
 }
 
 void
-ManProc ()
-{   // called from menu
-    ManInner(NULL, NULL, NULL, NULL);
-}
-
-void
 BugReportProc ()
 {
     char buf[MSG_SIZ];