Skip to content

Rename Option.IsGlobal to AppliesToSelfAndChildren, make it public#2060

Merged
adamsitnik merged 4 commits intodotnet:mainfrom
adamsitnik:isGlobal
Feb 18, 2023
Merged

Rename Option.IsGlobal to AppliesToSelfAndChildren, make it public#2060
adamsitnik merged 4 commits intodotnet:mainfrom
adamsitnik:isGlobal

Commits

Commits on Feb 17, 2023

Commits on Feb 18, 2023