config.md: advertise diffedit3
as an alternative to meld-3
diff editor
#10530
Loading
diffedit3
as an alternative to meld-3
diff editor
#10530