diff build_nightly @ 1975:3701517d852c

Avoid expensive re-init from switching to external sync after render_init has been called
author Michael Pavone <pavone@retrodev.com>
date Fri, 08 May 2020 16:52:32 -0700
parents 8e3adc6264d3
children 866577a220e6
line wrap: on
line diff