config.md: advertise diffedit3 as an alternative to meld-3 diff e…
#1483
| Job | Run time |
|---|---|
| 4m 46s | |
| 5m 29s | |
| 10m 15s |
diffedit3 as an alternative to meld-3 diff e…
#1483
| Job | Run time |
|---|---|
| 4m 46s | |
| 5m 29s | |
| 10m 15s |