From 2d7e02275537a4a6b949b589c238213ac83039c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Laurent?= <theo.laurent@inria.fr>
Date: Thu, 4 Jan 2024 23:37:41 +0100
Subject: [PATCH] rename

---
 INSTALL => INSTALL.md | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename INSTALL => INSTALL.md (100%)

diff --git a/INSTALL b/INSTALL.md
similarity index 100%
rename from INSTALL
rename to INSTALL.md