diff --git a/src/core b/src/core deleted file mode 160000 index e950e060..00000000 --- a/src/core +++ /dev/null @@ -1 +0,0 @@ -Subproject commit e950e06094a4acb4b8761b06e60b237ea4f80829