Skip to content
Commit ce3b7231 authored by Volker Krause's avatar Volker Krause
Browse files

Allow to not build development tools 

Useful for the static build of the command line extractor.
parent b7737678
Pipeline #237096 canceled with stage
in 3 minutes and 4 seconds
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment