projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9447d2f b257b5e)
Merge branch '16425-skip-unused-dirs'
authorTom Clegg <tom@tomclegg.ca>
Mon, 15 Jun 2020 15:17:48 +0000 (11:17 -0400)
committerTom Clegg <tom@tomclegg.ca>
Mon, 15 Jun 2020 15:17:48 +0000 (11:17 -0400)
fixes #16425

Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom@tomclegg.ca>


Trivial merge