Skip to content

Log the name of the selected tool#97

Merged
Adamantios merged 3 commits intomainfrom refactor/log-nameOct 6, 2023