HomeIsabelle/Phabricator

more robust: do not assume Bash syntax while testing for it;

Description

more robust: do not assume Bash syntax while testing for it;

Details

Provenance
makariusAuthored on
Parents
rISABELLEbf9f2f4069b9: obsolete;
Branches
Unknown
Tags
Unknown