X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=menus.c;h=304d3c419999af0ff3fbd2ddf7e374212030c736;hb=45bea0f2fdd5d1e938b0b8c0c2044e4d7bd2e0d2;hp=f786eda5a939f535b2e8f742e7c0731b57cb1f65;hpb=e131fadbb0f396098fb300283227bdf042c71d45;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];