diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2006-07-27 19:44:51 +0000 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2006-07-27 19:44:51 +0000 |
| commit | d24e4260457de3ecdae874be87201c7322c4f599 (patch) | |
| tree | 9d3966fc78d4802b401249a228a5bf4ad6c4c1ad /INSTALL | |
| parent | a94d31b65f7e4134217b9623aab992287c480011 (diff) | |
Abort if levels.rbot is badly messed up. We don't want to make the bot suddenly become free for all
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions