Mentions légales du service

Skip to content

Documentation for the metrics API

LETORT Sebastien requested to merge metric-doc into master
  • Documentation for the metrics API
  • correction of the allgo url from allgo.inria to allgo18.inria

Note: We should use a substitution for the ALLGO_URL (use ALLGO_URL in the rst file and makes it replaced automatically). something like replace:: (http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html#substitution-definitions). I tried unsuccessfully.

Merge request reports