Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Markus Blatt authored
Previously we did not catch patterns at the start of the line. Seems like sed cannot handle [ ^] as the meaning of ^ is the not operator here and not the line beginning.
Markus Blatt authoredPreviously we did not catch patterns at the start of the line. Seems like sed cannot handle [ ^] as the meaning of ^ is the not operator here and not the line beginning.