Aaron Suen 07850123d7 Standardize high-resolution gametime.
Use high-res version in a few places we were using integer-res
timer before.  This should e.g. smooth time variation of wind
strength for ambient sounds.
2019-11-10 08:10:34 -05:00
..
2019-09-14 22:29:50 -07:00
2019-11-10 08:10:34 -05:00
2019-10-01 18:52:05 -04:00
2019-10-05 11:24:16 -04:00
2019-11-10 08:10:34 -05:00