diff options
author | Pjotr Prins | 2021-08-26 09:25:12 +0200 |
---|---|---|
committer | Pjotr Prins | 2021-08-26 09:25:12 +0200 |
commit | 28edac287362cfa2d7c1864fb3f6f861560fd1ef (patch) | |
tree | 0982facb8a4dfd94a461bee7b825c90e867faf19 /scripts | |
parent | 16b56dabecd28c5868c4d6331768ee3f78a8657e (diff) | |
download | pangemma-28edac287362cfa2d7c1864fb3f6f861560fd1ef.tar.gz |
github-ci: adapt workflow
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions