edit something in semantic main
Merge branch 'master' of
ssh://git@github.com/cntn02/Semantic-document-base.git

Conflicts:
	search/semantic_main.php