Paul Chote 9d174cd87d Add a button to reset lobby options to default.

2023-11-12 12:04:05 +02:00

..

chrome

Add a button to reset lobby options to default.

2023-11-12 12:04:05 +02:00

rules

Extract common rules translations

2023-04-22 19:23:41 +02:00

en.ftl

Show the server map pool in the client map chooser.

2023-11-05 15:42:35 +02:00