Skip to content

chore: doc comments on generated Options builders (#124) - #132

Merged
martinkersner merged 1 commit into
mainfrom
issue-124-options-builder-docs
Jul 15, 2026
Merged

chore: doc comments on generated Options builders (#124)#132
martinkersner merged 1 commit into
mainfrom
issue-124-options-builder-docs

chore: regen generated.rs with Options builder doc comments

69f8fc5
Select commit
Loading
Failed to load commit list.