rename docker/bash to docker/shell

pull/4844/head
Christian Winther 1 year ago
parent 5a43d7a65d
commit 7ffbd5d44a
Loading…
Cancel
Save