From c1c61324e3958926000ce36d291b231c3f39c8f3 Mon Sep 17 00:00:00 2001
From: Antenore Gatta <antenore@simbiosi.org>
Date: Thu, 5 Jul 2018 09:42:14 +0200
Subject: link workaround

---
 docs | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 docs

(limited to 'docs')

diff --git a/docs b/docs
new file mode 120000
index 000000000..d70ebaa1d
--- /dev/null
+++ b/docs
@@ -0,0 +1 @@
+public
\ No newline at end of file
-- 
cgit v1.2.3