christoph fcc29d2372 Add place to leaderboard

2024-03-02 17:49:04 +01:00

..

controller

Add initial leaderboards page

2024-03-02 13:11:25 +01:00

database

Allow disabling timing constraints for development

2024-03-02 12:38:12 +01:00

domain

Sort leaderboard table by total points

2024-03-02 13:25:03 +01:00

static

Fix some race page layout issues

2024-02-26 23:52:51 +01:00

templates

Add place to leaderboard

2024-03-02 17:49:04 +01:00

__init__.py

Add place to leaderboard

2024-03-02 17:49:04 +01:00