# Theia Metrics Extensions

This extension provides metrics for theia using the prometheus API.

See [here](https://github.com/theia-ide/theia) for a detailed documentation.

## License
[Apache-2.0](https://github.com/theia-ide/theia/blob/master/LICENSE)
