plugins/org.eclipse.viatra2.editor/icons/rename.png - viatra/org.eclipse.viatra2.vpm - Git at Google

eclipse / viatra / org.eclipse.viatra2.vpm / 133668016380004fd36a2551cbc18c19e50232e9 / . / plugins / org.eclipse.viatra2.editor / icons / rename.png

blob: 3cf18439ab31ee967860de728b9c06b3939f3da5 [file] [log] [blame]

Powered by Gitiles| Privacy| Termstxt json