Skip to content
GitLab

Merge branch 'master' of gitrepos.estec.esa.int:taste/spacecreator into... 

Merge branch 'master' of gitrepos.estec.esa.int:taste/spacecreator into 585-dve-edit-entity-names-from-aadl-tree
1 job for 585-dve-edit-entity-names-from-aadl-tree in 11 minutes and 43 seconds (queued for 3 seconds)
d6f8ee9b
1 related merge request: !174 DVE: Edit entity names from AADL tree