config.md: advertise diffedit3 as an alternative to meld-3 diff e…
#7549
| Job | Run time |
|---|---|
| 12s | |
| 12s |
diffedit3 as an alternative to meld-3 diff e…
#7549
| Job | Run time |
|---|---|
| 12s | |
| 12s |