ontohub/ontohub — pull request #914 by eugenk (2014-06-03 15:43:00+00:00)
Title: use bootstrap modal in file edit on discard

fixes #828