Skip to content
Snippets Groups Projects
Commit c6da0336 authored by Laurent Velez's avatar Laurent Velez
Browse files

Delete .jenkins.sh as it uses a pipeline instead

parent af819da1
2 merge requests!8Update editor and validation tools,!7Update editor and validation tools
Pipeline #11207 passed with stage
in 0 seconds