Commit 18ba78e9 authored by Stefan Kangas's avatar Stefan Kangas

Clarify recent ert manual change

* doc/misc/ert.texi (Running Tests in Batch Mode): Say that ert test
selector strings are regular expressions.
parent 53b71fd4
Pipeline #3375 passed with stage
in 53 minutes and 23 seconds