Open GoogleCodeExporter opened 9 years ago
PS - The idea would be to be able to give the name of an index that should be
ignored (or a list of such names).
Original comment by dtab...@gmail.com
on 9 Jun 2015 at 5:35
PPS - Or else the name of an index that should be used for sure (if we wanted
to force a particular choice).
Original comment by dtab...@gmail.com
on 9 Jun 2015 at 5:36
As Mike suggested, putting a hint that indicates the name of index that we want
to use would be nice.
Original comment by wangs...@gmail.com
on 11 Jun 2015 at 7:56
Original issue reported on code.google.com by
ima...@uci.edu
on 8 Jun 2015 at 11:47