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