diff: buffer color-words context lines #18
Job | Run time |
---|---|
4m 32s | |
45s | |
10m 17s | |
3m 30s | |
10m 27s | |
22s | |
5m 35s | |
24s | |
25s | |
22s | |
16s | |
2m 27s | |
26s | |
39m 48s |
Job | Run time |
---|---|
4m 32s | |
45s | |
10m 17s | |
3m 30s | |
10m 27s | |
22s | |
5m 35s | |
24s | |
25s | |
22s | |
16s | |
2m 27s | |
26s | |
39m 48s |