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