diff options
author | 2019-08-13 14:41:31 +0000 | |
---|---|---|
committer | 2019-08-13 14:41:31 +0000 | |
commit | 94aca1037c7934effe6f9e8b9dcad2e6633b34e9 (patch) | |
tree | 4d288addaf8ddddd8a8780f11dbe71f77292621c /bpmn/so-bpmn-infrastructure-common | |
parent | 7e4474a83396840a61c18ff0a770825db0a440fb (diff) | |
parent | 7c4fe00d31d1515ff3988b32fb3c31f941ad0a94 (diff) |
Merge "Place diamond op in place of type spec"
Diffstat (limited to 'bpmn/so-bpmn-infrastructure-common')
0 files changed, 0 insertions, 0 deletions