diff options
author | Maxime Denes <maximedenes@gillespie.inria.fr> | 2017-06-09 16:13:06 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-12 16:43:28 +0200 |
commit | a2e1e2fa4f0a005e07972488b6ce6ad59404bd2c (patch) | |
tree | 2b73f63c75c798a0209a35ca41af7ec19c1b4f3f /.gitignore | |
parent | 79c42e22dd5106dcb85229ceec75331029ab5486 (diff) |
make test-suite/save-logs.sh usable also on old MacOS X
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions