Markus Blatt 29dc9a1880 Use an unordered_set of string to identify defunct wells. ... We do not rely on the order of the set and hope that the lookup might be faster as it prevents string comparisons.		2016-09-13 10:55:15 +02:00
..
core	Use an unordered_set of string to identify defunct wells.	2016-09-13 10:55:15 +02:00