included shortcut for Info Panel (issue 2533)#2621
Merged
Rokt33r merged 2 commits intoBoostIO:masterfrom Nov 25, 2018
mehr-licht:master
Merged
included shortcut for Info Panel (issue 2533)#2621Rokt33r merged 2 commits intoBoostIO:masterfrom mehr-licht:master
Rokt33r merged 2 commits intoBoostIO:masterfrom
mehr-licht:master
Commits
Commits on Nov 18, 2018
Commits on Nov 19, 2018
- committed