summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2024-02-27 11:15:37 +0100
committerRemi Collet <remi@php.net>2024-02-27 11:15:37 +0100
commitf9cd894af2f385333a55e4133141caaf3302f237 (patch)
tree6bca95a41465f4d60c6200d8e524bb1b74c7218d
parent4cf224b2ff8ef1ec2553cb9169275757195177a3 (diff)
typo
-rw-r--r--index.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html
index 33f6e9a5..45f7f604 100644
--- a/index.html
+++ b/index.html
@@ -423,7 +423,7 @@
</li>
<li>
<a href="https://rpms.remirepo.net/RPM-GPG-KEY-remi" class="inpage">RPM-GPG-KEY-remi</a>:
- the GnuPG public key of the key pair used to sign my packages (Fedora <= 25 and EL <= 7)
+ the GnuPG public key of the key pair used to sign my packages (Fedora ≤ 25 and EL ≤ 7)
</li>
<li>
<a href="https://git.remirepo.net/cgit/" class="inpage">https://git.remirepo.net/cgit/</a>