mirror of
https://github.com/prometheus/prometheus.git
synced 2026-02-14 20:31:32 +01:00
d6a0f46baf
There is actually an easier way to format comments, which doesn't require a hack and also fixes the dispay in non-monospace fonts.