mirror of
https://github.com/OPM/opm-simulators.git
synced 2025-02-25 18:55:30 -06:00
The old pattern matched if there was an integer (digit) in the string; it would have to be all non-digits to be quoted.
The old pattern matched if there was an integer (digit) in the string; it would have to be all non-digits to be quoted.