Select Git revision
- Branches 20
- master default
- fin/ulo-section
- week45/fancy-builds
- fin/applogos
- week41/final-review
- week41/review-again
- week41/reporting-on-app
- week40/apppep
- week40/review-report
- week40/elementary
- week39/transitive
- week39/lazy-scores
- week39/application-sections-fix
- week39/feedback-holes
- week39/feedback-versioning
- week38/slide-review
- issue13/fix
- issue13/version-upgrade
- issue12/setup
- issue10/explorer
