From c63a6ed0ebb07a5a95cd69920520407055ddcacf Mon Sep 17 00:00:00 2001
From: EPedrotti <e.pedrotti@rasa.com>
Date: Wed, 2 Jan 2019 15:16:04 +0100
Subject: [PATCH] remove unwanted folder src

---
 src/sphinx-rtd-theme | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 src/sphinx-rtd-theme

diff --git a/src/sphinx-rtd-theme b/src/sphinx-rtd-theme
deleted file mode 160000
index 6b89a7c13bba..000000000000
--- a/src/sphinx-rtd-theme
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 6b89a7c13bba2a7100d7093ed5007b2abf67f277