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