ontohub/ontohub — pull request #364 by 0robustus1 (2013-11-02 14:06:23+00:00)
Title: Display HEAD-commit-id in footer for development.

This should *solve* issue #363.

Maybe @corny or @nning could take a look at this and see if it conflicts with some machinespecific
settings on/in *develop.ontohub.org* and the other deployment branches.