Commit 722ecd22 authored by Xavier Thompson's avatar Xavier Thompson

Theia frontend custom

See merge request !981
parents 12eab3c1 e63c9c59
Pipeline #15527 failed with stage