Skip to content

remove current dir prefix when printing positions#1404

Merged
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:pos
Jun 10, 2026
Merged

remove current dir prefix when printing positions#1404
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:pos