From e2b3133a0a77a6677a788b5676ed20570b1f94cb Mon Sep 17 00:00:00 2001
From: Sergi Hernandez Juan <shernand@iri.upc.edu>
Date: Thu, 26 Jan 2017 20:22:41 +0100
Subject: [PATCH] Removed the dexter_robot folder.

---
 examples/dexter/dexter_robot | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 examples/dexter/dexter_robot

diff --git a/examples/dexter/dexter_robot b/examples/dexter/dexter_robot
deleted file mode 160000
index ef1cfb9..0000000
--- a/examples/dexter/dexter_robot
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit ef1cfb9a00e25730991a7e1f9a27f7eb5aed48fd
-- 
GitLab