Skip to content

Commit

Permalink
Added a flag to control whether the leaderboard should be shown on th…
Browse files Browse the repository at this point in the history 
…e leaderboard or not. At the moment, it is deactivated. This is the hotfix for #442.
  • Loading branch information
@MichaelRoeder
MichaelRoeder committed Oct 13, 2023
1 parent 088b712 commit 137420d
Showing 1 changed file with 293 additions and 281 deletions.
Loading

0 comments on commit 137420d

Please sign in to comment.