# HG changeset patch # User Mike Becker # Date 1602237339 -7200 # Node ID 9970690a1e425350a776aab77fa0a271081e046d # Parent d3583959c8750e1b8479a36ab609f27a11a1678b adds tooltips to versions in nav menu diff -r d3583959c875 -r 9970690a1e42 src/main/webapp/WEB-INF/jsp/project-navmenu.jsp --- a/src/main/webapp/WEB-INF/jsp/project-navmenu.jsp Fri Oct 09 11:50:21 2020 +0200 +++ b/src/main/webapp/WEB-INF/jsp/project-navmenu.jsp Fri Oct 09 11:55:39 2020 +0200 @@ -51,7 +51,8 @@ -