#7602: improve "clean" and "checkout" targets now that all tools are in externals.
1 file changed