Marker für edges werden wieder angezeigt
removed MAC-specific reference to model file
TGG and Henshin Editor for Henshin 0.9.5
added marking functionality for translation marker
added marking functionality for translation marker
Merge branch 'master' of
https://github.com/de-tu-berlin-tfs/Henshin-Editor
Merge branch 'master' of
https://github.com/de-tu-berlin-tfs/Henshin-Editor
Merge branch 'master' of https://github.com/de-tu-berlin-tfs/Henshin-Editor
Merge branch 'master' of
https://github.com/de-tu-berlin-tfs/Henshin-Editor
Merge branch 'master' of https://github.com/de-tu-berlin-tfs/Henshin-Editor
typo
Bugfixes und Tests für Copy und Paste
Copy and Paste for Juno
fixes for update site
ignore bin folder
ignore bin folder
Merge branch 'master' of github.com:de-tu-berlin-tfs/Henshin-Editor

Conflicts:
	.gitignore
ignore bin folder
ignore generated ".tex"
new feature request: extension of copy/paste