-
Benedikt Becker authored
The (eager) wildcard `.*` in the sed pattern wrecked havoc on some CE output. Also, the removal seems no longer needed for ce-bench.
17390b39
The (eager) wildcard `.*` in the sed pattern wrecked havoc on some CE output. Also, the removal seems no longer needed for ce-bench.