-
Christophe Geuzaine authored
reverting last commit for now: the speedups are not worth it, as we often use the sorted lists only once or twice - not enough to ammortize the sorting cost
a56e6144
reverting last commit for now: the speedups are not worth it, as we often use the sorted lists only once or twice - not enough to ammortize the sorting cost