diff --git a/script/wpull b/script/wpull new file mode 100755 index 0000000000000000000000000000000000000000..01e1a205bbc2ad7dca8578e9a2bc2aeb8c702f64 --- /dev/null +++ b/script/wpull @@ -0,0 +1,4 @@ +#!/bin/bash + +docker pull gitlab.liu.se:5000/lrs/waraps_docker_images/waraps-melodic:latest +