Skip to content
GitLab
Explore
Sign in
Projects
Mock Turtle
Repository
mock-turtle
distribution
Makefile
Find file
Blame
History
Permalink
ci: remove git usage when distributing sources
· 14cd368d
Federico Vaga
authored
Oct 21, 2019
Signed-off-by:
Federico Vaga
<
federico.vaga@cern.ch
>
14cd368d