mirror of https://github.com/01-edu/public.git
Browse Source
ensure stop on first failure in a more compatible way (even if more basic)pull/1919/head
Michele Sessa
2 years ago
committed by
Michele
1 changed files with 6 additions and 3 deletions
Loading…
Reference in new issue