Matthias 9ef814689e Update endpoint in rest-client

2023-06-11 08:18:01 +02:00

..

rest_client.py

Update endpoint in rest-client

2023-06-11 08:18:01 +02:00

ws_client.py

Fix minor stylistic errors

2023-02-23 20:06:10 +01:00