Skip to content

add html favicon to doc#332

Merged
mathieudpnt merged 1 commit intoProject-OSmOSE:mainfrom
Gautzilla:doc-favicon
Jan 28, 2026
Merged

add html favicon to doc#332
mathieudpnt merged 1 commit intoProject-OSmOSE:mainfrom
Gautzilla:doc-favicon

Conversation

@Gautzilla
Copy link
Contributor

I realized the favicon worked locally but didn't appear on the published doc. This PR should fix it.

@Gautzilla Gautzilla requested a review from mathieudpnt January 28, 2026 09:23
@Gautzilla Gautzilla self-assigned this Jan 28, 2026
@Gautzilla Gautzilla added the documentation Improvements or additions to documentation label Jan 28, 2026
@mathieudpnt mathieudpnt merged commit 54dd43f into Project-OSmOSE:main Jan 28, 2026
1 check passed
@Gautzilla Gautzilla deleted the doc-favicon branch January 28, 2026 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants