diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-03-02 22:09:58 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-03-02 22:10:24 +0100 |
| commit | f235a5cb76aaec0c22a4cd5f97973d3d41593443 (patch) | |
| tree | 9039927c78adff0fdbd5b2d6faf385d200c540f1 /world.h | |
| parent | c4bc02521806d9e73d41e7cbebdb760e8b28b58a (diff) | |
Indicate whether a bot is active on the printout
Diffstat (limited to 'world.h')
0 files changed, 0 insertions, 0 deletions