HomeGitPull.it

add a default configuration file

Description

add a default configuration file

Details

Provenance
valerio.bozzolanAuthored on Jul 19 2022, 09:20
valerio.bozzolanPushed on Jul 19 2022, 09:26
Parents
R48:ff7bfca5e988: 2022: update home info
Branches
Unknown
Tags
Unknown