diff --git a/remix b/remix deleted file mode 160000 index 4fe13da1c8..0000000000 --- a/remix +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 4fe13da1c8c51dc7bb728df14c30fbb274e0bc80