Viewing all changes in revision 1241.

Committer: Bruno Haible
Date: 2022-07-18 17:33:52 UTC
Revision ID: git-v1:2582e7bb06f1638877713400e2d11db547798a49

Make autopull.sh more suited for continuous integration.

* autopull.sh: Support option --one-time.

added added

removed removed