Added filter for the tabs array on the tools page#212

Merged

fclaussen merged 3 commits intodevelopfrom

unknown repository

Jul 17, 2018

Commits on Jul 13, 2018

Added filter for the tabs array on the tools page for hiding and adding pages

Adam Harms
authored and
Adam Harms
committed

Commits on Jul 17, 2018