Skip to content

[cli] Add --global-property for -D replacement#5687

Merged
wing328 merged 1 commit into
masterfrom
rename-to-global-properties
Apr 2, 2020
Merged

[cli] Add --global-property for -D replacement#5687
wing328 merged 1 commit into
masterfrom
rename-to-global-properties

[cli] Add --global-property for -D replacement

5001ac8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs