Fix #3805: dash correctly terminates commands in layout files#4137

Merged

LinusDietz merged 4 commits intomasterfrom fix3805

Jun 29, 2018

+329-339

Commits on Jun 17, 2018

Fix #3805 : dash correctly terminates commands in layout files
tobiasdiez
committed

Commits on Jun 19, 2018

Commits on Jun 29, 2018

Merge branch 'master' into fix3805
LinusDietz
authored