Commit 35e6c9de authored by Xavier Thompson's avatar Xavier Thompson

software/theia: Upgrade to Theia 1.13.0

parent 90fb1e98
Pipeline #15285 failed with stage
in 0 seconds