Commit 6c1e7260 authored by Vivien Kraus's avatar Vivien Kraus
Browse files

Re-introduce distdir

parent 2d87d563
Pipeline #171638 failed with stages
in 19 minutes and 37 seconds