Commit 5f5206de authored by Xavier Thompson's avatar Xavier Thompson

software/theia: Add frontend params in JSON schema

parent b14663ef
Pipeline #15648 failed with stage
in 0 seconds