From a97ace165ba17d315248b161a9607f01432fd65b Mon Sep 17 00:00:00 2001
From: rjraya <rodrigo.raya@epfl.ch>
Date: Tue, 21 Sep 2021 22:44:20 +0200
Subject: [PATCH] add labs folder

---
 amy_reference_compiler.md => labs/amy_reference_compiler.md | 0
 amy_specification.md => labs/amy_specification.md           | 0
 labs_01.md => labs/labs_01.md                               | 0
 labs_setup.md => labs/labs_setup.md                         | 0
 4 files changed, 0 insertions(+), 0 deletions(-)
 rename amy_reference_compiler.md => labs/amy_reference_compiler.md (100%)
 rename amy_specification.md => labs/amy_specification.md (100%)
 rename labs_01.md => labs/labs_01.md (100%)
 rename labs_setup.md => labs/labs_setup.md (100%)

diff --git a/amy_reference_compiler.md b/labs/amy_reference_compiler.md
similarity index 100%
rename from amy_reference_compiler.md
rename to labs/amy_reference_compiler.md
diff --git a/amy_specification.md b/labs/amy_specification.md
similarity index 100%
rename from amy_specification.md
rename to labs/amy_specification.md
diff --git a/labs_01.md b/labs/labs_01.md
similarity index 100%
rename from labs_01.md
rename to labs/labs_01.md
diff --git a/labs_setup.md b/labs/labs_setup.md
similarity index 100%
rename from labs_setup.md
rename to labs/labs_setup.md
-- 
GitLab