Rename index_hrm_cov.html to hrm.html

This commit is contained in:
Guillaume Redoulès 2020-04-23 15:11:17 +02:00 committed by GitHub
parent 7aee8af071
commit 0f9f63e5eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23