Pages · Wiki · Dozentron / Dozentron · GitLab

resource
- write plugins
  - Allgemeines (markdown)
    
    Last edited Jul 30, 2018
- setup server (markdown)
  
  Last edited Mar 20, 2019
- plugins (markdown)
  
  Last edited Mar 15, 2019
- how to use
  - task (markdown)
    
    Last edited Apr 05, 2017
  - task files (markdown)
    
    Last edited Apr 13, 2017
  - submission (markdown)
    
    Last edited Mar 15, 2019
  - result overview (markdown)
    
    Last edited Mar 15, 2019
  - input task (markdown)
    
    Last edited Apr 05, 2017
  - group (markdown)
    
    Last edited Apr 05, 2017
- Plugins einrichten (markdown)
  
  Last edited Jul 30, 2018
Home (markdown)

Last edited Mar 20, 2019
dev guide
- setup dev environment (markdown)
  
  Last edited Feb 21, 2019
- prod server (markdown)
  
  Last edited Mar 20, 2019
- not so obvious things (markdown)
  
  Last edited Mar 20, 2019
- gem tasks (markdown)
  
  Last edited Feb 22, 2019
- deployment (markdown)
  
  Last edited Feb 21, 2019
- architecture overview (markdown)
  
  Last edited Mar 05, 2018