 ddidderr
|
4e9707dd51
|
mdns improved peer discovery
|
2025-11-14 00:24:04 +01:00 |
|
|
ddidderr
|
97bd87640e
|
mdns
|
2025-11-13 20:50:43 +01:00 |
|
|
ddidderr
|
50cd15867b
|
mdns
|
2025-11-08 20:47:02 +01:00 |
|
|
ddidderr
|
858d41265c
|
p2p: mDNS
|
2025-11-08 16:49:36 +01:00 |
|
|
ddidderr
|
3b19cb8b18
|
clippy: apply and fix new lints
|
2025-08-17 16:35:54 +02:00 |
|
|
ddidderr
|
98126a72da
|
[clippy] fixes
|
2025-08-12 08:44:59 +02:00 |
|
|
ddidderr
|
1ffab086ff
|
[clippy] apply simple changes with --fix
|
2025-07-11 13:16:13 +02:00 |
|
|
ddidderr
|
89af1f9176
|
[omg] GUI, mDNS, list games on client start
|
2024-11-10 15:11:22 +01:00 |
|