git-pull-all: Remove bash'ism
[shutils.git] / restpublish.py
2022-12-19 Stefan HuberAdd restpublish.py