diff options
author | Michael Pauls <michael.pauls@fokus.fraunhofer.de> | 2017-03-17 18:59:49 +0100 |
---|---|---|
committer | Michael Pauls <michael.pauls@fokus.fraunhofer.de> | 2017-03-17 18:59:49 +0100 |
commit | dce6afeedc21ec9e5b97d630493b9307682ccaa4 (patch) | |
tree | b6a8d944214b0332196c640fc7d12c2e41e8fa92 /docs/com/.gitignore | |
parent | 5f82f17a633674c19b69cca877569fd845253343 (diff) |
Fix deployment flavor of orchestra machine; Improve bootstrap
Change-Id: I3aa00be7e6e7d3e8de86a8b6a8e9564dc548a3d3
Signed-off-by: Michael Pauls <michael.pauls@fokus.fraunhofer.de>
Diffstat (limited to 'docs/com/.gitignore')
0 files changed, 0 insertions, 0 deletions