planetwars.dev/planetwars-server/src/modules
2022-07-30 17:03:32 +02:00
..
bots.rs store active version id in bots table 2022-07-23 23:40:25 +02:00
client_api.rs add is_public to matches 2022-07-30 17:03:32 +02:00
matches.rs add is_public to matches 2022-07-30 17:03:32 +02:00
mod.rs rename bot_api to client_api 2022-07-25 22:16:50 +02:00
ranking.rs add is_public to matches 2022-07-30 17:03:32 +02:00
registry.rs store active version id in bots table 2022-07-23 23:40:25 +02:00