dgutov/robe — pull request #17 by syohex (2013-12-12 03:22:41+00:00)
Title: Remove ido load

Because ido-completing-read can be lazy-loaded, so we can load
ido lazy until using ido-completing-read.

And non-ido users can avoid loading ido by applying this fix.