Open caver456 opened 4 years ago
as it says. This could be a subset of a more capable notch/grow/split tool.
as written, taken literally, this is not exactly the same as notch or slice or cut. Is a feature with this specific wording still needed? Maybe give it some time to see, now that cut() exists
as it says. This could be a subset of a more capable notch/grow/split tool.