diff repo_sync.py @ 22:b9fe6d26b3fa

minor changes, fixes, upgrades
author drewp@bigasterisk.com
date Tue, 29 Mar 2022 21:15:51 -0700
parents 6f38aa08408d
children
line wrap: on
line diff