From 74560d536000bb65f9d7be41f7af64cbfbc0e436 Mon Sep 17 00:00:00 2001
From: Joel Falcou <joel.falcou@lri.fr>
Date: Fri, 11 Aug 2023 10:34:28 +0200
Subject: [PATCH] Empty gh-pages

---
 .nojekyll | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 .nojekyll

diff --git a/.nojekyll b/.nojekyll
new file mode 100644
index 00000000..e69de29b