beremiz

Merge latest changes from default

2022-07-11, Edouard Tisserant
d6c9da8d594e
file isExecutable
Merge latest changes from default
#!/bin/bash
# delete container
docker rm beremiz_sikuli_current