Properties of a FinishGameNotice.
Optional
FinishGameNotice pid
FinishGameNotice time
Generated using TypeDoc
Properties of a FinishGameNotice.