Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The editor didn't work for a while now. We probably don't need it any longer. If required, insert HTML manually into a task's description. In most cases, a PDF with the instructions for the tasks is used. So a formatted description is not required then.
- Loading branch information