diff sync.py @ 98:3d4340fbb16c

finish moving these lines from system.py
author drewp@bigasterisk.com
date Fri, 15 Jul 2022 14:36:00 -0700
parents a915000bad75
children 8b8ef9d8f0fd
line wrap: on
line diff