14-eos-docker-dir-in-main
created branch 14-eos-docker-dir-in-main
mentioned in merge request !11 (merged)
closed via commit 27784f74