tools: add diffedit3
as a dotslash tool
#8620
The logs for this run have expired and are no longer available.
Loading
diffedit3
as a dotslash tool
#8620