- '?time' now works
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 13 Apr 2000 20:30:11 +0000 (20:30 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 13 Apr 2000 20:30:11 +0000 (20:30 +0000)
ginsh/ginsh_parser.yy

index 7e9049f..646cb02 100644 (file)
@@ -152,6 +152,7 @@ line        : ';'
                }
        }
        | '?' T_SYMBOL          {print_help(ex_to_symbol($2).getname());}
+       | '?' T_TIME            {print_help("time");}
        | '?' '?'               {print_help_topics();}
        | T_QUIT                {YYACCEPT;}
        | T_WARRANTY {