-
John Chodera authored
Replace Platform::getPlatform by Platform::getPlatformByName where necessary, due to recently changed interface.
065e084b
Replace Platform::getPlatform by Platform::getPlatformByName where necessary, due to recently changed interface.