Skip to content
GitLab
Explore
Sign in
Register
Sébastien Villemot
dseries
Repository
dseries
src
initialize_dseries_toolbox.m
Find file
Blame
History
Permalink
On GNU/Linux, pick x13 binary from the path if it is there
· 58b36a23
Sébastien Villemot
authored
Dec 12, 2018
As a consequence, no need to download the binary on the CI runners, since it is already there.
58b36a23