Commented out jstree-themes for now, because it prevents the rails server starting.
Fit help texts inside repo in bootstrap grid and fix crash in history of empty repo.
Merge branch 'staging' into augmenting_add_history_link_from_files_and_dirs
Save some characters (aka. cosmetics).
Merge pull request #402 from ontohub/augmenting_add_history_link_from_files_and_dirs

Add history link from files and dirs
Deactivated brittle test and wrote some prose to explain why.
Merge branch 'staging' into augmenting365_paginate_repository_history

Conflicts:
	app/views/files/history.html.haml
Deactivate repository action buttons on Ontology#show. Fixes #392.
Quick restyling of format links for ontology. Related to #391.
Merge branch 'augmenting365_paginate_repository_history' into develop

Conflicts:
	app/views/ontologies/_states.html.haml
	app/views/ontologies/index_ontology.html.haml
Merge branch 'staging' into develop
Merge branch 'develop' into develop.ontohub.org