HomeGitPull.it

write_safe_dir_if_unexisting: remove unused parameter

Description

write_safe_dir_if_unexisting: remove unused parameter

Details

Provenance
valerio.bozzolanAuthored on Jan 22 2024, 16:31
valerio.bozzolanPushed on Jan 22 2024, 17:54
Parents
R40:85826f27e21c: bootstrap: fix some ShellCheck
Branches
Unknown
Tags
Unknown