diff --git a/webtools/tinderbox/tinderboxen.html b/webtools/tinderbox/tinderboxen.html index 5fd0bb404464..077fdc978002 100644 --- a/webtools/tinderbox/tinderboxen.html +++ b/webtools/tinderbox/tinderboxen.html @@ -61,7 +61,7 @@ printIFrame($tree1); document.write("