config.md: advertise diffedit3 as an alternative to meld-3 diff editor
#1428
| Job | Run time |
|---|---|
| 4m 40s | |
| 5m 3s | |
| 9m 43s |
diffedit3 as an alternative to meld-3 diff editor
#1428
| Job | Run time |
|---|---|
| 4m 40s | |
| 5m 3s | |
| 9m 43s |