-
Christophe Geuzaine authored
handle searches in ExtendedList using multimap; this is more expensive memory-wise, but it is fast in all situations (even in the multi-valued case) Warning: this is a significant change! Please report any breakage :-)
e4b2a8e9