ontohub/ontohub — pull request #716 by nning (2014-02-27 19:52:55+00:00)
Title: Make formats dropdown menu presence configurable in settings.yml.

#699