Skip to content
GitLab
Explore
Sign in
Feb 23, 2017
ae1ba6b3
Directly execute bash and omit make.
· ae1ba6b3
Andreas Schmidt
authored
Feb 23, 2017
ae1ba6b3
Directly execute bash and omit make.
Andreas Schmidt
authored
Feb 23, 2017
Loading
