git.eclipse.org / graphiti / org.eclipse.graphiti / 768531da5c52e7d7e347ef4dba74328fa523330b / plugins / org.eclipse.graphiti.ui / about.html