josh 981fb27c1c Preserve deleted server history ...

Retain historical server identities, results, and evidence after deletion. Mark archived entries as Deleted and prevent old work from targeting servers that reuse the same name.

Fixes #16.

2026-09-27 21:48:55 -04:00

..

players/[game]/[guid]

Preserve deleted server history

2026-09-27 21:48:55 -04:00

+page.svelte

Add timezone preference across time displays

2026-09-20 22:12:27 -04:00