comparison host/admin/push-local.sh @ 2027:8c5b604f98cd default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 30 Oct 2025 18:59:53 -0600
parents 301a6561fb6b
children
comparison
equal deleted inserted replaced
2026:9c10e37c56f6 2027:8c5b604f98cd