diff --git a/html/index.html b/html/index.html index a28db052933f6501899133a362883606b66025d6..49ec1b3d4403fdf897ad527f9a41256e7313289b 100644 --- a/html/index.html +++ b/html/index.html @@ -163,7 +163,7 @@ $(document).ready(function(){initNavTree('index.html','');});