Closed JanKoehnlein closed 7 years ago
We currently use a mix of console.log and the logger from json-rpc. The common solution should be compatible with Theia
@spoenemann Is that fixed?
I think so. We should eliminate remaining console.log calls where possible.
We currently use a mix of console.log and the logger from json-rpc. The common solution should be compatible with Theia