From e8fda35f097d63cf7b1fe67c0e594791bdcf0be0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kruli=C5=A1?= <krulis@ksi.mff.cuni.cz>
Date: Fri, 15 Dec 2017 20:01:00 +0100
Subject: [PATCH] Updated Home (markdown)

---
 Home.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Home.md b/Home.md
index 72a0fa5..378b9af 100644
--- a/Home.md
+++ b/Home.md
@@ -16,11 +16,11 @@
 * [[RuntimeEnvironments]]
 * [[Exit Code Mappings]]
 
-## Contents
+## Older Parts of Documentation
+Some parts may need revision.
 * [[Home]]
 * [[Introduction]]
 * [[Analysis]]
-* [[User Documentation]]
 * [[Implementation]]
 * [[Conclusion]]