ontohub/ontohub — pull request #409 by DanielCoutoVale (2013-11-15 07:07:49+00:00)
Title: Hide symbols tab with a configuration

This change is very small and seems ready for staging.