diff options
| author | Tor Andersson <tor@ccxvii.net> | 2023-06-29 20:51:44 +0200 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2023-06-30 17:24:26 +0200 |
| commit | a07c8e521a06ec7228edba8ca65c6ec9b81a1f7e (patch) | |
| tree | 5fe711216e2be9396ecb1445fd1deee3fc66719c /tools/gencovers.sh | |
| parent | 57e984b43119aadc13618abd8cc413345d3ccb9e (diff) | |
| download | server-a07c8e521a06ec7228edba8ca65c6ec9b81a1f7e.tar.gz | |
Turn "undo" functions into no-ops if undo stack is not present.
Allow replaying game states quickly without undo handling.
Diffstat (limited to 'tools/gencovers.sh')
0 files changed, 0 insertions, 0 deletions