Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

MAJ le thème pour obtenir les derniers correctifs #968

Merged
merged 3 commits into from
Aug 6, 2023

Conversation

Guts
Copy link
Member

@Guts Guts commented Aug 6, 2023

Ajoute également le tri des pages par leurs URL dans la page Taxonomie https://squidfunk.github.io/mkdocs-material/setup/setting-up-tags/#+tags.tags_pages_compare

@github-actions github-actions bot added mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... dependencies Pull requests that update a dependency file labels Aug 6, 2023
@Guts Guts force-pushed the maintenance/upgrade-theme branch from 6bc50dd to e310bf3 Compare August 6, 2023 14:52
@Guts Guts self-assigned this Aug 6, 2023
@Guts Guts added the thème Personnalisation du thème du site (CSS, JS, partials...) label Aug 6, 2023
@github-actions
Copy link
Contributor

github-actions bot commented Aug 6, 2023

🎉 Le site de prévisualisation pour cette PR a été généré et est disponible sous ce lien.
Commit de référence : e310bf3.

@Guts Guts merged commit 6c5162f into master Aug 6, 2023
3 checks passed
@Guts Guts deleted the maintenance/upgrade-theme branch August 6, 2023 15:15
@github-actions github-actions bot temporarily deployed to pr-previews August 6, 2023 15:15 Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... thème Personnalisation du thème du site (CSS, JS, partials...)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant