Wiki Pages

User

  • The input window
    • Bonus Point File
  • The main window
    • Task tab
    • Options
    • Eliminate tasks

Developer

  • Build
  • Known compiler incompatibilities
  • Docker
  • Deployment
  • Known bugs