Skip to content

feat: rename pruning tool to 'prune (DCP)' and make protectedTools additive#47

Merged
Tarquinen merged 1 commit intomasterfrom
feat/rename-pruning-tool
Dec 1, 2025
Merged

feat: rename pruning tool to 'prune (DCP)' and make protectedTools additive#47
Tarquinen merged 1 commit intomasterfrom
feat/rename-pruning-tool

Commits

Commits on Dec 1, 2025