diff --git a/cvxopt b/cvxopt deleted file mode 160000 index f236615..0000000 --- a/cvxopt +++ /dev/null @@ -1 +0,0 @@ -Subproject commit f236615e5bd326daeb6cda511c31d86bcc354747