metrics/exporter/prometheus.v

5 lines
51 B
Coq
Raw Normal View History

2022-12-26 18:17:27 +01:00
module exporter
pub struct PrometheusExporter {
}