HomeGitPull.it

Remove stuff unrelated to the core

Description

Remove stuff unrelated to the core

Details

Provenance
valerio.bozzolanAuthored on Jul 15 2020, 07:37
valerio.bozzolanPushed on Jul 15 2020, 07:37
Parents
R41:7aeafc5d6142: remove any graphical part
Branches
Unknown
Tags
Unknown