Mikolaj Wielgus 1455da3ee5 fix(board/edit): Correctly removed nodes from pins ... Was botched in previous commit.		2025-10-25 01:32:30 +02:00
..
edit.rs	fix(board/edit): Record changes to pin nodes too, which was something I forgot	2025-10-25 00:32:28 +02:00
mod.rs	fix(board/edit): Correctly removed nodes from pins	2025-10-25 01:32:30 +02:00