diff editor: bundle a new :builtin-web
GUI diff editor
#10010
Job | Run time |
---|---|
3m 32s | |
3m 15s | |
6m 55s | |
29s | |
4m 33s | |
2m 39s | |
22s | |
36s | |
13s | |
23s | |
25s | |
23m 22s |
:builtin-web
GUI diff editor
#10010
Job | Run time |
---|---|
3m 32s | |
3m 15s | |
6m 55s | |
29s | |
4m 33s | |
2m 39s | |
22s | |
36s | |
13s | |
23s | |
25s | |
23m 22s |