Skip to content

Commit

Permalink
build: declare dev docs as optional groups
Browse files Browse the repository at this point in the history
  • Loading branch information
@nicrie
nicrie committed Oct 29, 2023
1 parent be8bffd commit 52070d3
Show file tree
Hide file tree
Showing 2 changed files with 852 additions and 219 deletions.
Loading

0 comments on commit 52070d3

Please sign in to comment.