diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-16 22:46:04 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-16 22:46:04 +0100 |
| commit | b4ccca8c1800498c789ab405c5233f628779965a (patch) | |
| tree | 16edbd7a182c93f408846d9354171d8615914778 /bin/build-binary-dist.sh | |
| parent | 2dc11524fc9d027307982ae4821c0625074c3c4e (diff) | |
Build on push too
Diffstat (limited to 'bin/build-binary-dist.sh')
0 files changed, 0 insertions, 0 deletions