ontohub/ontohub — pull request #525 by 0robustus1 (2013-12-20 15:04:50+00:00)
Title: use File.extname to determine extension.

Should fix #520.