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

---
 external_modules/stdlib | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 external_modules/stdlib

(limited to 'external_modules/stdlib')

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