diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-03-18 02:03:43 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2021-03-18 18:41:55 +0100 |
| commit | 4b2fdd450e70270f346f302829fa493a67fe3ce1 (patch) | |
| tree | 5df7429c2800cb4e2e0a8240ad472679efc478c0 /.github | |
| parent | f43813c42018cc33e7cb07481d28192d14a6d9e9 (diff) | |
Allow running ci.sh from any dir
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions