Skip to content

documentation: Sphinx: change default role to code:easycrypt#886

Merged
strub merged 1 commit intomainfrom
doc-default-role
Feb 4, 2026
Merged

documentation: Sphinx: change default role to code:easycrypt#886
strub merged 1 commit intomainfrom
doc-default-role

Commits

Commits on Feb 4, 2026