Skip to content

Remove .err file if test succeeds; enable -shell option.#9

Merged
dtcaciuc merged 1 commit intoechlebek:masterfrom dtcaciuc:errfileFeb 25, 2022
+51-9

Commits

Commits on Feb 24, 2022