software/theia: public folder is not public in Theia
This is a fixup of 665166e2 (see especially 665166e2 (comment 177402))
Showing
Please register or sign in to comment
This is a fixup of 665166e2 (see especially 665166e2 (comment 177402))