From a84b7dfa6a621b358527671949cc5d9845b0bcb9 Mon Sep 17 00:00:00 2001
From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Thu, 13 Apr 2000 20:30:11 +0000
Subject: [PATCH] - '?time' now works

---
 ginsh/ginsh_parser.yy | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ginsh/ginsh_parser.yy b/ginsh/ginsh_parser.yy
index 7e9049f7..646cb020 100644
--- a/ginsh/ginsh_parser.yy
+++ b/ginsh/ginsh_parser.yy
@@ -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 {
-- 
2.44.0