Online IDE

This repository contains resources for the WWU online IDE system. In particular:

• The workspaces directory contains the resources used to generate docker containers for a Theia workspace
• The manager directory contains code for the workspace/authentication manager
• The cleanup directory contains the script that cleans up unused workspaces