Stefano Pigozzi 2f3cc201c7 Get /board/{board}/ws to work, definitely		2023-08-01 01:52:12 +02:00
..
Check_with_clippy.xml	Get /board/{board}/ws to work, definitely	2023-08-01 01:52:12 +02:00
Run_client.xml	Create client runConfig	2023-07-30 02:21:52 +02:00
Run_server.xml	Emulate terminal in server runConfig	2023-07-30 02:22:06 +02:00