Skip to content
Commit 6d727637 authored by Jan Kiene's avatar Jan Kiene
Browse files

add tools dir in ci_linux.json

parent 9761af8e