Pages · Wiki · Dozentron / Dozentron · GitLab

dev guide
- architecture overview (markdown)
  Last edited Mar 05, 2018
- deployment (markdown)
  Last edited Feb 21, 2019
- gem tasks (markdown)
  Last edited Feb 22, 2019
- not so obvious things (markdown)
  Last edited Mar 20, 2019
- prod server (markdown)
  Last edited Mar 20, 2019
- setup dev environment (markdown)
  Last edited Feb 21, 2019
Home (markdown)
Last edited Mar 20, 2019
resource
- Plugins einrichten (markdown)
  Last edited Jul 30, 2018
- how to use (markdown)
  Last edited Mar 15, 2019
- how to use
  - group (markdown)
    Last edited Apr 05, 2017
  - input task (markdown)
    Last edited Apr 05, 2017
  - result overview (markdown)
    Last edited Mar 15, 2019
  - submission (markdown)
    Last edited Mar 15, 2019
  - task files (markdown)
    Last edited Apr 13, 2017
  - task (markdown)
    Last edited Apr 05, 2017
- plugins (markdown)
  Last edited Mar 15, 2019
- setup server (markdown)
  Last edited Mar 20, 2019
- write plugins (markdown)
  Last edited Nov 19, 2018
- write plugins
  - Allgemeines (markdown)
    Last edited Jul 30, 2018