Skip to content

Fix tab selection broken in previous release

Compare
Choose a tag to compare
@dionisiydk dionisiydk released this 06 May 18:11
· 1 commit to master since this release
28f3b6c
Merge pull request #491 from pharo-ide/dev

New release: fix for  broken tabs selection