summaryrefslogtreecommitdiff
path: root/util/docker_cmd.sh
AgeCommit message (Collapse)Author
2022-10-05docs: some typos (#18582)George Rodrigues
probably hacktoberism
2022-01-24Add a script that simplifies running commands under docker. (#16028)Nick Brassel