From c705f9adcaba2e9d80e37d58f10289f6df48180b Mon Sep 17 00:00:00 2001
From: fedir <f.kovalyoff@tutanota.de>
Date: Thu, 14 Nov 2024 10:16:54 +0100
Subject: [PATCH] Added newline to credit

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 762a3ed..c8daf13 100644
--- a/README.md
+++ b/README.md
@@ -14,5 +14,7 @@ Traditional access control mechanisms in operating systems allow the same level
 * [Some identified issues](./docs/bc-thesis-problems.md)
 * [Formal specification](./docs/bc-thesis-specs.md)
 ## Credit
+
 *Student:* Fedir Kovalov
+
 *Supervisor:* RNDr. Jaroslav Janáček, PhD.