Skip to content
GitLab
Explore
Sign in
Commit
9fc8345a
authored
Nov 25, 2022
by
Jan Kiene
Browse files
add -j to make_options in scripts
parent
53694b65
Loading
Loading
Loading
Loading
Changes
1
Pipelines
1