diff editor: bundle a new :builtin-web GUI diff editor
#780
| Job | Run time |
|---|---|
| 6m 1s | |
| 8m 53s | |
| 14m 54s |
:builtin-web GUI diff editor
#780
| Job | Run time |
|---|---|
| 6m 1s | |
| 8m 53s | |
| 14m 54s |