7958fc4ffc804a1d40a43d33210caa3d25af653e hiram Wed Jun 19 12:06:53 2019 -0700 add JSON API to Downloads menu in addition to the Tools menu refs #18869 diff --git src/hg/htdocs/inc/globalNavBar.inc src/hg/htdocs/inc/globalNavBar.inc index fbb231a..ea01c25 100644 --- src/hg/htdocs/inc/globalNavBar.inc +++ src/hg/htdocs/inc/globalNavBar.inc @@ -51,30 +51,31 @@