HomeGitPull.it

add a default configuration file

Description

add a default configuration file

Details

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