New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Document `is_parameter` in the manual (besides api ref) #3831

Merged

odow merged 1 commit into master from jg/param

Sep 28, 2024

Merged

Document `is_parameter` in the manual (besides api ref) #3831

Document is_parameter in the manual (besides api ref)

Codecov / codecov/patch succeeded Sep 28, 2024 in 0s

Coverage not affected when comparing 1239fdc...64a97cf

View this Pull Request on Codecov

Coverage not affected when comparing 1239fdc...64a97cf

View more details on Codecov