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 /public/images/gui_arrow_left.svg | |
parent | 9c7b11d2930a2cb28613c4917904e7965d65a849 (diff) | |
download | server-c838861823a5a040a8e8cabb9b68500697028569.tar.gz |
Rename "game_over" to "game_finished" in server.
Diffstat (limited to 'public/images/gui_arrow_left.svg')
0 files changed, 0 insertions, 0 deletions