setup dev environment · Wiki · Dozentron / Dozentron · GitLab

Skip to content

GitLab

Explore

Sign in

Dozentron
Dozentron
Wiki
Dev guide
setup dev environment

Last edited by

Niklas Deworetzki Feb 21, 2019

setup dev environment

Clone repository Templates

dev guide
Home
resource
- Plugins einrichten
- how to use
  - group
  - input task
  - result overview
  - submission
  - task files
  - task