HomeGitPull.it

Introduce push_path_host PATH HOST [PORT]

Description

Introduce push_path_host PATH HOST [PORT]

Details

Provenance
valerio.bozzolanAuthored on Aug 12 2020, 16:07
valerio.bozzolanPushed on Aug 19 2021, 14:37
Parents
R40:7ce4c8bbdbd1: Fix backup_paths
Branches
Unknown
Tags
Unknown