platformFile top-level property

String get platformFile

Implementation

String get platformFile => '$_sessionDir/platform.txt';