diff options
| author |  Sebastiaan Zeeff <[email protected]> | 2020-11-18 23:44:49 +0100 |
|---|---|---|
| committer | Sebastiaan Zeeff <[email protected]> | 2020-11-18 23:44:49 +0100 |
| commit | 27298bbf6f8c8cee4f603666e46155e3fec89dda (patch) | |
| tree | af4aaa7e95425a475a2f411c4dd2fc4ec9d44ac2 /scripts/dev.sh | |
| parent | Use repository caching for master build (diff) | |
Remove redundant build commands for Pipfile
I've removed the redundant intermediate image build commands from the
Pipfile. Since everything is now contained in one Dockerfile, we can
simply build the final image in one go.
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions