christoph 162423ec84 Combine places with equal points in leaderboard

2024-03-02 17:58:06 +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

Combine places with equal points in leaderboard

2024-03-02 17:58:06 +01:00

static

Fix some race page layout issues

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

templates

Combine places with equal points in leaderboard

2024-03-02 17:58:06 +01:00

__init__.py

Add place to leaderboard

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