diff --git a/CoSiFrontEnd b/CoSiFrontEnd deleted file mode 160000 index ceb9949..0000000 --- a/CoSiFrontEnd +++ /dev/null @@ -1 +0,0 @@ -Subproject commit ceb99497b2839a7978b497b34c760553a63d5e9b