diff --git a/marker_navigator b/marker_navigator deleted file mode 160000 index 33881d8a..00000000 --- a/marker_navigator +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 33881d8a1a51a586d606650d8d13192a33bc2f1e