diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2009-05-20 14:44:53 +0200 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2009-05-20 14:44:53 +0200 |
| commit | d8fd18fe30013ba7705aaeb5dd4521cbe013b824 (patch) | |
| tree | 02b14a19fe64067a77674d0967395bb49c552806 /data/rbot/plugins/games | |
| parent | 5d0d86a26c08eccf2dc6934d380662a9912b49d5 (diff) | |
search: gtime instead of time
The time command is already defined by the corresponding plugin, so use
gtime (like gdef and gcalc) for the Google clock.
Diffstat (limited to 'data/rbot/plugins/games')
0 files changed, 0 insertions, 0 deletions