From 7ddb6abbe33e7280efafd9f5a4093c76a65725e1 Mon Sep 17 00:00:00 2001 From: "kestes%staff.mail.com" Date: Wed, 6 Sep 2000 01:24:18 +0000 Subject: [PATCH] add tidnerbox version number to header output --- webtools/tinderbox2/src/lib/HTMLPopUp/None.pm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/webtools/tinderbox2/src/lib/HTMLPopUp/None.pm b/webtools/tinderbox2/src/lib/HTMLPopUp/None.pm index 2a1a308bcb33..d1dfdb30ba68 100644 --- a/webtools/tinderbox2/src/lib/HTMLPopUp/None.pm +++ b/webtools/tinderbox2/src/lib/HTMLPopUp/None.pm @@ -3,8 +3,8 @@ # HTMLPopUp::None.pm - the implementation of the header and link # command which will be used if no popup menus are desired. -# $Revision: 1.2 $ -# $Date: 2000/08/11 00:20:10 $ +# $Revision: 1.3 $ +# $Date: 2000/09/06 01:24:18 $ # $Author: kestes%staff.mail.com $ # $Source: /home/hwine/cvs_conversion/cvsroot/mozilla/webtools/tinderbox2/src/lib/HTMLPopUp/None.pm,v $ # $Name: $ @@ -73,6 +73,7 @@ sub page_header { $header .=< + $refresh