Skip to content
GitLab
Explore
Sign in
examples
Makefile
Find file
Blame
History
Permalink
update Makefile and CI config
· a9de1c86
Ralf Jung
authored
Dec 19, 2018
a9de1c86
Ralf Jung authoreda9de1c86