Revision bc3be5d85fa5efa2655ec4617e490a5542fe93ac

Committed on 21/12/2018 5:30 pm by Maxim Strukov <mxmstrv@gmail.com> [GitHub Diff]

changed the folder name in platform build command