From ac33603ed4aed66d615eefe92ebe2613caad973b Mon Sep 17 00:00:00 2001
From: Martin Beseda <martin.beseda@vsb.cz>
Date: Wed, 27 Mar 2019 14:55:17 +0100
Subject: [PATCH] [DEL] Removed 'external_dependencies' folder from the
 repository.

---
 external_dependencies/turtle | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 external_dependencies/turtle

diff --git a/external_dependencies/turtle b/external_dependencies/turtle
deleted file mode 160000
index 5c0f2901..00000000
--- a/external_dependencies/turtle
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 5c0f29012511339ba5cc2672f99a1356c5387b62
-- 
GitLab