diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2006-07-25 01:18:02 +0000 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2006-07-25 01:18:02 +0000 |
| commit | bba93c30e8892bd475427ea211d48f59e4a641aa (patch) | |
| tree | f1b4e279d7fa62b1427483630f803493c9227fce /bin/rbot | |
| parent | 0a9b8950fd09f8b815d9f4c491eaadba5f64707e (diff) | |
When verifying uniqueness of plugin map parameters names, check for :param vs *param too
Diffstat (limited to 'bin/rbot')
0 files changed, 0 insertions, 0 deletions