diff options
| author | Tor Andersson <tor@ccxvii.net> | 2023-04-11 11:31:12 +0200 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2023-04-18 16:59:18 +0200 |
| commit | c838861823a5a040a8e8cabb9b68500697028569 (patch) | |
| tree | bfcc015eba1f0aa2d79f021168de9c7ebeb2b95d /tools/undo.sh | |
| parent | 9c7b11d2930a2cb28613c4917904e7965d65a849 (diff) | |
| download | server-c838861823a5a040a8e8cabb9b68500697028569.tar.gz | |
Rename "game_over" to "game_finished" in server.
Diffstat (limited to 'tools/undo.sh')
0 files changed, 0 insertions, 0 deletions