diff udp_sync.h @ 36722:af6374499845

Don't unnecessarily stop Win32 GUI playback. There is no reason to do so in the preferences dialog.
author ib
date Sun, 09 Feb 2014 17:52:18 +0000
parents 2e56ec7a0a7f
children
line wrap: on
line diff