From 3ddf6b635b2ab2132e20038cb1533182b0517c41 Mon Sep 17 00:00:00 2001
From: ROUVREAU Vincent <vincent.rouvreau@inria.fr>
Date: Mon, 18 Jan 2021 10:47:50 +0100
Subject: Use gudhi-deploy external submodules and removes former files

---
 ext/gudhi-deploy | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 ext/gudhi-deploy

(limited to 'ext')

diff --git a/ext/gudhi-deploy b/ext/gudhi-deploy
new file mode 160000
index 00000000..f71c3749
--- /dev/null
+++ b/ext/gudhi-deploy
@@ -0,0 +1 @@
+Subproject commit f71c3749c4d57afcb9747fe99a8cfbb8aa960b6a
-- 
cgit v1.2.3