the name of WAR file will be determined dynamically, according to gen…#12

Merged

AdamBien merged 1 commit intoAdamBien:masterfrom franden:generic_war_name

Jul 17, 2020

+67-31

Commits on Jul 17, 2020

the name of WAR file will be determined dynamically, according to generated file in target directory
franden
committed