Skip to content

Deduplicate common arguments in documentation - #285

Merged
mondeja merged 1 commit into
masterfrom
docs-282
Dec 21, 2025
Merged

Deduplicate common arguments in documentation#285
mondeja merged 1 commit into
masterfrom
docs-282

Conversation

@mondeja

@mondeja mondeja commented Dec 21, 2025

Copy link
Copy Markdown
Owner

Deduplicate documentation of common arguments accepted by inclusion directives in the reference.

Closes #282

@mondeja mondeja added the documentation Improvements or additions to documentation label Dec 21, 2025
@mondeja mondeja changed the title Refactor documentation about arguments Reduce deduplication of common arguments in documentation Dec 21, 2025
@mondeja mondeja changed the title Reduce deduplication of common arguments in documentation Deduplicate common arguments in documentation Dec 21, 2025
@mondeja
mondeja merged commit 32978ca into master Dec 21, 2025
22 checks passed
@mondeja
mondeja deleted the docs-282 branch December 21, 2025 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Refactor the documentation about directive arguments

1 participant