From 9e00623a01d08d7767ff41815840352df37be1f3 Mon Sep 17 00:00:00 2001
From: George Drettakis <George.Drettakis@inria.fr>
Date: Tue, 4 Jul 2023 21:56:15 +0200
Subject: [PATCH] license

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

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