diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-04-14 17:16:17 +0200 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-04-14 17:16:17 +0200 |
| commit | 8d4a8afa58753f479434dfb7b80986d75a1713ec (patch) | |
| tree | 0448c231b9e7ce1807d42d386ca8756ad5ebe74f /lib/rbot | |
| parent | da2edefc1b4ca6e8caf615d0a7dc4a14646f0785 (diff) | |
uno plugin: cleanly end all games on cleanup()
Diffstat (limited to 'lib/rbot')
0 files changed, 0 insertions, 0 deletions