different heuristics for cutting names

Authored by mart on Oct 10 2019, 10:29 AM.

Description

different heuristics for cutting names

Details

Committed
martOct 10 2019, 10:29 AM
Parents
R20:fbbb604318ab: don't split
Branches
Unknown
Tags
Unknown