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 |