diff default_options.h @ 1803:837cc354b388

small tidy of "signal" while loop
author Matt Johnston <matt@ucc.asn.au>
date Sat, 06 Mar 2021 23:05:17 +0800
parents ed20d805b332
children 35d504d59c05
line wrap: on
line diff