Calvin Walton c211bd4dc5 recording presentation format: round poll sizes to integers ... If the poll size happened to be not an integer, the poll generation would fail. Round it to an integer for the generation tool.		2020-01-14 16:19:32 -05:00
..
playback/presentation	Patching playback updates for iOS (#8195)	2019-10-21 16:05:59 -04:00
scripts	recording presentation format: round poll sizes to integers	2020-01-14 16:19:32 -05:00