HomeGitPull.it

statement: add some set rank shortcuts

Description

statement: add some set rank shortcuts

Details

Provenance
valerio.bozzolanAuthored on May 25 2022, 22:40
valerio.bozzolanPushed on May 25 2022, 22:40
Parents
R21:29366db967e2: CategoryWizard: add minor inline documentation
Branches
Unknown
Tags
Unknown