diff options
author | Eirik Nygaard <eirik@yahoo-inc.com> | 2016-10-04 12:47:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-04 12:47:42 +0200 |
commit | c8e4e14bf3ff95e5274717f545cdd59c46d56613 (patch) | |
tree | 0aa8ae5b64df710897886317aeeec4a7d09a5579 /configdefinitions | |
parent | 896bfcfa460330603248d039a694272ac49529b0 (diff) | |
parent | 2353a83493ee935017095d240ec5cd03c01b73b4 (diff) |
Merge pull request #773 from yahoo/hmusum/allow-empty-prod-element-in-deployment.xml
Allow empty prod element in deployment.xml
Diffstat (limited to 'configdefinitions')
0 files changed, 0 insertions, 0 deletions