FrankHermann/Henshin-Editor — pull request #12 by FrankHermann (2014-08-25 14:15:41+00:00)
Title: Pull of master

Please merge the pull request to prepare the transfer of the repository.