f3d85fb0cf7e3e1f8a48158f7c0ea34413c275d4 lrnassar Wed May 1 15:59:29 2024 -0700 Removing the fav icon I committed so the different machines can go back to having individual icons. diff --git src/hg/htdocs/images/favicon.ico src/hg/htdocs/images/favicon.ico deleted file mode 100644 index baa09e8..0000000 Binary files src/hg/htdocs/images/favicon.ico and /dev/null differ