tree 6339479c57979374d63c3abd962dbd5e2fa25293
parent a26ab72dd3b75ff95b8684bc8c9a60a1aed2b8a0
author Daniele Sassoli <danielesassoli@gmail.com> 1698680796 +0000
committer Daniele Sassoli <danielesassoli@gmail.com> 1698885616 +0000

Rename config.md to metrics.md

config.md only contained information on metrics, makes more sense for it
to be name metrics.md

Change-Id: Ie35774e52aa97351c0b7c351c6084b428fe52b7d