HomeGitPull.it

fix expression error caused by an unescaped star and migrate to expr

Description

fix expression error caused by an unescaped star and migrate to expr

Details

Provenance
valerio.bozzolanAuthored on Oct 12 2021, 11:30
valerio.bozzolanPushed on Jan 13 2022, 19:51
Parents
R40:81f6f5166025: fix examples
Branches
Unknown
Tags
Unknown