Skip to content

documentation: Sphinx: change default role to code:easycrypt

4d51b45
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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

documentation: Sphinx: change default role to code:easycrypt
4d51b45
Select commit
Loading
Failed to load commit list.