HomeGitPull.it

tools: update replace.php to adopt the wizard

Description

tools: update replace.php to adopt the wizard

Details

Provenance
valerio.bozzolanAuthored on Mar 2 2023, 09:44
valerio.bozzolanPushed on Mar 2 2023, 10:17
Parents
R21:99c6d35b166e: add a stupid config wizard
Branches
Unknown
Tags
Unknown