From d9fdfd17e139b997952fcf6745e2c3c606b42733 Mon Sep 17 00:00:00 2001
From: Timm Lauser <timm.lauser@h-da.de>
Date: Fri, 18 Feb 2022 16:46:48 +0100
Subject: [PATCH] Renamed instruction files to README.md

---
 Privacy_Properties/{privacy_properties.md => README.md}           | 0
 Security_Properties/{security_properties.md => README.md}         | 0
 .../Tamarin_1_6_1/{security_properties.md => README.md}           | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename Privacy_Properties/{privacy_properties.md => README.md} (100%)
 rename Security_Properties/{security_properties.md => README.md} (100%)
 rename Security_Properties/Tamarin_1_6_1/{security_properties.md => README.md} (100%)

diff --git a/Privacy_Properties/privacy_properties.md b/Privacy_Properties/README.md
similarity index 100%
rename from Privacy_Properties/privacy_properties.md
rename to Privacy_Properties/README.md
diff --git a/Security_Properties/security_properties.md b/Security_Properties/README.md
similarity index 100%
rename from Security_Properties/security_properties.md
rename to Security_Properties/README.md
diff --git a/Security_Properties/Tamarin_1_6_1/security_properties.md b/Security_Properties/Tamarin_1_6_1/README.md
similarity index 100%
rename from Security_Properties/Tamarin_1_6_1/security_properties.md
rename to Security_Properties/Tamarin_1_6_1/README.md
-- 
GitLab