Merge pull request #3255 from rjbs/no-favicon
docs: remove the logo favicon
Description
Description
Details
Details
- Provenance
Ricardo Signes Authored on Oct 19 2020, 1:08 PM GitHub Committed on Oct 19 2020, 1:08 PM mollekopf Pushed on Sep 6 2023, 3:14 PM - Parents
- R111:604e4f7610ab: docs: remove the logo favicon
R111:7ed2c62b3675: Merge pull request #3254 from rjbs/no-logo - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes