From e1ecf242934d693b396b88710d818d11a04aa1c8 Mon Sep 17 00:00:00 2001 From: rnv Date: Fri, 15 Mar 2013 11:42:38 +0000 Subject: [PATCH] Update header. --- doc/salome/tui/static/header.html.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/salome/tui/static/header.html.in b/doc/salome/tui/static/header.html.in index 4571b4363..d434d830d 100755 --- a/doc/salome/tui/static/header.html.in +++ b/doc/salome/tui/static/header.html.in @@ -5,6 +5,8 @@ $title + + $treeview $search $mathjax -- 2.39.2