search plugin: update gdef
authorGiuseppe Bilotta <giuseppe.bilotta@gmail.com>
Mon, 31 Aug 2009 18:40:46 +0000 (20:40 +0200)
committerGiuseppe Bilotta <giuseppe.bilotta@gmail.com>
Mon, 31 Aug 2009 18:40:46 +0000 (20:40 +0200)
commit30e9bb21325872963f5532527e78d787fe7b26d0
treee99085bebed956d73d2755e24d3eb507221ef6db
parentcd27dd58378016dac5266e89c65e69ff3e383292
search plugin: update gdef
data/rbot/plugins/search.rb