diff --git a/sledge/bin/sledge b/sledge/bin/sledge deleted file mode 120000 index cb339f52e..000000000 --- a/sledge/bin/sledge +++ /dev/null @@ -1 +0,0 @@ -../_build/_install/opt/bin/sledge \ No newline at end of file diff --git a/sledge/bin/sledge.dbg b/sledge/bin/sledge.dbg deleted file mode 120000 index a454e906c..000000000 --- a/sledge/bin/sledge.dbg +++ /dev/null @@ -1 +0,0 @@ -../_build/_install/dbg/bin/sledge \ No newline at end of file diff --git a/sledge/bin/sledge.do b/sledge/bin/sledge.do deleted file mode 120000 index ce505ca35..000000000 --- a/sledge/bin/sledge.do +++ /dev/null @@ -1 +0,0 @@ -../_build/_install/dbg-opt/bin/sledge \ No newline at end of file