From 6292ffaa42362d9b4ccec52bd8b70b81f6894dd0 Mon Sep 17 00:00:00 2001
From: Fernando Raya <fernandoraya@gmail.com>
Date: Wed, 17 Jan 2024 19:23:22 +0100
Subject: [PATCH] Remove sphinx-contrib directory

Not needed since dylan-tool download the package
---
 documentation/sphinx-extensions | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 documentation/sphinx-extensions

diff --git a/documentation/sphinx-extensions b/documentation/sphinx-extensions
deleted file mode 160000
index 333fdd2..0000000
--- a/documentation/sphinx-extensions
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 333fdd249e53b331da4011c032d5ce85926912b8