On 8 November 2016 at 23:10, Alejandro Sanchez <[email protected]> wrote: > >> I've implemented this as --virtual-index; however, I wonder if it >> would be better to make this available as a combination of the >> --index-search and --all options. > I don’t really care, but fewer options to remember are always a good thing. > The help description for the two options has to be adjusted though, otherwise > I would never guess that you can combine them in such a way.
I've changed it and removed --virtual-index as a separate option.
