https://github.com/dice-group/gerbil
Tip revision: 137420d0cb8fbdc04204306825b6b582857f29c0 authored by Michael Röder on 13 October 2023, 13:21:58 UTC
Added a flag to control whether the leaderboard should be shown on the leaderboard or not. At the moment, it is deactivated. This is the hotfix for #442.
Added a flag to control whether the leaderboard should be shown on the leaderboard or not. At the moment, it is deactivated. This is the hotfix for #442.
Tip revision: 137420d
File | Mode | Size |
---|---|---|
.github | ||
documentation | ||
repository | ||
src | ||
.gitignore | -rw-r--r-- | 163 bytes |
LICENSE | -rw-r--r-- | 33.7 KB |
README.md | -rw-r--r-- | 367 bytes |
exportData.sh | -rw-r--r-- | 79 bytes |
index.sh | -rw-r--r-- | 661 bytes |
pom.xml | -rw-r--r-- | 19.3 KB |
start.sh | -rwxr-xr-x | 1.4 KB |