On 2013-05-30, Rupert Swarbrick <rswarbrick at gmail.com> wrote:
> Ok. I think I understand that, but (unless I'm being slow this morning)
> this doesn't answer the question of whether we show the @deffoox items
> with "?". I committed a patch hiding them from ?? a couple of days
> ago. Hiding them from "?" as well is a ~1 line change.
Yes, @deffoox should be hidden from "?" as well.
best
Robert Dodier