Skip to content

Add hints#190

Merged
SuperQ merged 1 commit intoprometheus:masterfrom
lucacome:hint-options
Dec 19, 2023
Merged

Add hints#190
SuperQ merged 1 commit intoprometheus:masterfrom
lucacome:hint-options

Conversation

@lucacome
Copy link
Contributor

Adds hints for completion.

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants