Merge pull request #96 from DidierA/sed_option

check if sed accepts -r instead of -E
This commit is contained in:
Carlos Polop 2021-01-14 12:43:23 +01:00 committed by GitHub
commit b8fd7a349a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because it is too large Load Diff