git.eclipse.org / graphiti / org.eclipse.graphiti / 7d77a37e2d2a5c3d5b7fee315431665c5b49d99c / plugins / org.eclipse.graphiti.mm / about.html