return values for option with given key
Definition at line 156 of file xcmdline.cc.
References options.