Skip to content
Snippets Groups Projects
Commit 10a4c89b authored by Florian Dobener's avatar Florian Dobener
Browse files

Merge branch 'remove-tools' into 'develop'

Removes pullall script and tools.json

See merge request !141
parents 08fe2a3f 920a4482
No related branches found
No related tags found
1 merge request!141Removes pullall script and tools.json
Pipeline #170142 passed