diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-25 02:29:44 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-25 02:29:44 +0100 |
commit | 2b1b0f92a43b1defc3d9af6dbbcf6fe5d8c75c18 (patch) | |
tree | 02899f410bf52c9182e4a923e99ec93f324c69e7 /.github/workflows | |
parent | b4ba317815907c38488a273cfe8f419562b08a03 (diff) | |
parent | 1fc3ce92a94a4c798aaf030760b91328d9eb1e28 (diff) |
Merge pull request #3362 from Be-ing/macos_buildenv_script
macos_buildenv.sh script improvements
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions