Create gh-pages branch via GitHub
Create gh-pages branch via GitHub
Create gh-pages branch via GitHub
example: CDTORDBM models as EMF plugin
henshinTGG: improved tool tip for edge creation, when references are not
possible
henshinTGG: version number 1.0.1
update Site: henshinTGG 1.0.1
update site: henshinTGG plugin 1.0.1
henshinTGG plguin version 1.0.1
Merge branch 'gh-pages' of https://github.com/de-tu-berlin-tfs/Henshin-Editor.git into gh-pages
henshinTGG version 1.0.1 with all dependencies
henshinTGG version 1.0.1 revoked due to inconsistency