Skip to content
GitLab
Explore
Sign in
docker
CI Images
Repository
ci
base-common
duneci-install-module
Find file
Blame
History
Permalink
duneci-install-module: remove intermediate files
· 7a393c97
Ansgar Burchardt
authored
Dec 17, 2018
Removing the intermediate files (mostly *.o) should make the Docker images a bit smaller.
7a393c97