36bb74ca50afcf9f7c1764043ed6d099769c8d3a gperez2 Thu Nov 13 12:12:11 2025 -0800 This file came up in the static doc cron, and we decided to drop it, No RM diff --git src/hg/htdocs/inc/download.topbar.html src/hg/htdocs/inc/download.topbar.html deleted file mode 100644 index 4516538ae0b..00000000000 --- src/hg/htdocs/inc/download.topbar.html +++ /dev/null @@ -1,18 +0,0 @@ - -
-
|