teinarss 4dd8472d9b Reset server after game

2019-08-25 15:30:45 +02:00

..

Connection.cs

Replace for(;;) with while (true).

2019-06-08 18:46:03 +02:00

Exts.cs

Change the year number in all cs headers from 2018 to 2019

2019-01-26 23:15:21 +01:00

ProtocolVersion.cs

Document the revised protocol.

2019-06-20 22:50:17 +02:00

Server.cs

Reset server after game

2019-08-25 15:30:45 +02:00

TraitInterfaces.cs

Change the year number in all cs headers from 2018 to 2019

2019-01-26 23:15:21 +01:00