From 88f95a0c39d1f9f011c51cf29181c6eb310b0f7b Mon Sep 17 00:00:00 2001 From: babolivier Date: Tue, 19 Jul 2022 14:14:49 +0000 Subject: deploy: 47822fd2e863719175ff512ce3e0234135d72ebf --- develop/metrics-howto.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'develop/metrics-howto.html') diff --git a/develop/metrics-howto.html b/develop/metrics-howto.html index 96e25f46e4..fdd0de62bc 100644 --- a/develop/metrics-howto.html +++ b/develop/metrics-howto.html @@ -76,7 +76,7 @@ @@ -394,7 +394,7 @@ renamed.

-
@@ -406,7 +406,7 @@ renamed.

- -- cgit 1.5.1