HomeGitPull.it

Fix page title when using the --strip-base option

Description

Fix page title when using the --strip-base option

Details

Provenance
valerio.bozzolanAuthored on Jun 16 2020, 08:42
valerio.bozzolanPushed on Jun 16 2020, 08:42
Parents
R37:eae1c4b30062: Give more context
Branches
Unknown
Tags
Unknown