Skip to content

Restore compatibility on SettingsBuilder, ToolchainsBuilder and MojoDescriptorCreator#820

Merged
gnodet merged 1 commit intoapache:masterfrom
gnodet:compat
Oct 11, 2022
Merged

Restore compatibility on SettingsBuilder, ToolchainsBuilder and MojoDescriptorCreator#820
gnodet merged 1 commit intoapache:masterfrom
gnodet:compat