Mentions légales du service

Skip to content

Documetation for the metrics API

LETORT Sebastien requested to merge sletort into master

Documetation for the metrics API

  • correction of the allgo url from allgo.inria to allgo18.inria

Note: There should be a way to use a substitution for the ALLGO_URL. I tried unsuccessfully with replace:: (http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html#substitution-definitions). This break links and substitutions are not done in formatted text (like code).

Edited by LETORT Sebastien

Merge request reports