From 2e5b007816fd2280bd46b1a65f9d16a870580a83 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@uliege.be>
Date: Wed, 2 Jun 2021 16:59:49 +0200
Subject: [PATCH] pp

---
 onelab.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/onelab.html b/onelab.html
index ad43366..b776557 100644
--- a/onelab.html
+++ b/onelab.html
@@ -84,7 +84,7 @@ or not) can be easily interfaced as well.
 
 <div class="small">
   <a name="1"><sup>*</sup></a> Desktop versions require Windows 10, Linux with
-  glibc >= 2.24, or macOS >= 10.15
+  glibc &ge; 2.24, or macOS &ge; 10.15
 </div>
 
 <h2>Additional information</h2>
-- 
GitLab