From 91a9eba2ddeb74bbcfb92e9ad9bfb251191f5816 Mon Sep 17 00:00:00 2001
From: Ivan Alglave <64541968+hihubbIe@users.noreply.github.com>
Date: Thu, 2 Feb 2023 15:43:21 +0100
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 772e549..6f32702 100644
--- a/README.md
+++ b/README.md
@@ -70,4 +70,6 @@ Any other command used to start might have *undefined behaviour* at runtime, as
 
 When running, the documentation can be found at: `{url}/api`, and specific controllers can be found at `{url}/api/{controller name}`
 
+
+______
 Check the [license](LICENSE).
-- 
GitLab