Skip to content

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

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

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

feat: rename pruning tool to 'prune (DCP)' and make protectedTools ad…

081c536
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar