Rename platform/platform to index removing default (#7391)
Rename platform/platform to index removing default
J
Jukka Kurkela committed
39eb39008dd3bd2ebd0d502d52ac233eca0d5052
Parent: 7ac6144
Committed by GitHub <noreply@github.com>
on 5/21/2020, 8:36:06 PM