Skip to content

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

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

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

Commits

Commits on Mar 24, 2020