log SCRIPTS/update.sh @ 133:4acb5d8d80b6 tip

age author description
Thu, 07 Feb 2019 10:45:03 +0000 Chris Cannam Add repo revision arg
Wed, 06 Feb 2019 13:50:03 +0000 Chris Cannam Add single-repo update base SCRIPTS/update-all.sh@a928397a2e13