Revision 0becb0b5d2b2e39533c0f3faf8735c2b8c703dce

Committed on 21/12/2018 4:35 pm by Maxim Strukov <[email protected]> [GitHub Diff]

removed platform.sh folder after created provisioning folder instead