Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Modern browsers automatically try to load the favicon from the root of the website. However, for GitHub pages, our favicon is not located in the root but in another path. Let's explicitly add a link to our favicon resource so that it gets displayed.
- Loading branch information