Skip to content

Des polices sans serif sont maintenant utilisées pour les sortie LaTeX

Remi Angot a demandé de fusionner Guillaume-Latex vers main

Rapports de requête de fusion