From 1083c7f30a3890541e972f2ec2a4a4e3740ed519 Mon Sep 17 00:00:00 2001
From: Felipe <flisboa@telecom-paris.fr>
Date: Wed, 10 Feb 2021 13:51:05 +0100
Subject: [PATCH] Changed README location

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

diff --git a/TLAplus/README.md b/README.md
similarity index 100%
rename from TLAplus/README.md
rename to README.md
-- 
GitLab