Fixes for creating dev/platform

This commit is contained in:
Ivan Kravets
2019-08-15 17:13:45 +03:00
parent fac45d37f8
commit 59114bbd86

2
docs

Submodule docs updated: ac9cc9e59c...bca0b38d68