From 0f9f63e5eb05f2df8fac383f3d6916d7ebbe26de Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guillaume=20Redoul=C3=A8s?= Date: Thu, 23 Apr 2020 15:11:17 +0200 Subject: [PATCH] Rename index_hrm_cov.html to hrm.html --- index_hrm_cov.html => hrm.html | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename index_hrm_cov.html => hrm.html (100%) diff --git a/index_hrm_cov.html b/hrm.html similarity index 100% rename from index_hrm_cov.html rename to hrm.html