Rename platform

This commit is contained in:
Paulus Schoutsen 2018-06-22 10:03:29 -04:00
parent 15db1009a3
commit 40d98e0b76