config.md: advertise diffedit3 as an alternative to meld-3 diff editor
#6870
| Job | Run time |
|---|---|
| 0s | |
| 0s |
diffedit3 as an alternative to meld-3 diff editor
#6870
| Job | Run time |
|---|---|
| 0s | |
| 0s |