diff options
| author | Tor Andersson <tor@ccxvii.net> | 2023-12-09 17:05:00 +0100 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2023-12-10 18:06:33 +0100 |
| commit | 277fdc3dc71de71d1996586b5f0b56bee1c60bf1 (patch) | |
| tree | ab31f1ec40c0d991fc3905938ab2c59920b4cdc5 /tools/fonts/make_number_font.sh | |
| parent | 9af6fc6e93d59e72da2d80eb63b3a9a9ce445fb8 (diff) | |
| download | server-277fdc3dc71de71d1996586b5f0b56bee1c60bf1.tar.gz | |
Update map size dynamically (if it changes during play).
Diffstat (limited to 'tools/fonts/make_number_font.sh')
0 files changed, 0 insertions, 0 deletions