David Négrier 46e6917df6 Adding a playersStore ... The playerStore can be useful to get the details of a given player from its ID.		2021-07-06 17:13:08 +02:00
..
messages.proto	Adding a playersStore	2021-07-06 17:13:08 +02:00