From bfd8ca3f9b05a8d8028bca0845e579f45156f244 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Sat, 28 Apr 2018 16:59:07 +0200
Subject: Move external modules to other place

---
 modules/stdlib | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 modules/stdlib

(limited to 'modules/stdlib')

diff --git a/modules/stdlib b/modules/stdlib
deleted file mode 160000
index 0bb25fb..0000000
--- a/modules/stdlib
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 0bb25fb19904e8b346a25204f787b8bdc5140bae
-- 
cgit v1.2.3