diff options
| author | 2019-09-14 22:44:35 +0200 | |
|---|---|---|
| committer | 2019-09-14 22:44:35 +0200 | |
| commit | b16ecf8b8aee8be91dd28d56dc922f0423862759 (patch) | |
| tree | e5fabcb4ad47f8abe3e82ee81811dafb9576806e /scripts/dev.sh | |
| parent | Merge pull request #42 from python-discord/revitalisation (diff) | |
| parent | CI: use script instead of Docker task to push images (diff) | |
Merge pull request #43 from python-discord/revitalisation
CI: use script instead of Docker task to push images
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions