diff --git a/workspace-repository-devnext.d4science.org b/workspace-repository-devnext.d4science.org deleted file mode 100644 index 236507b..0000000 Binary files a/workspace-repository-devnext.d4science.org and /dev/null differ