layers/plugins/org.eclipse.papyrus.layers.ui/OLD_properties - papyrus/org.eclipse.papyrus.incubation - Git at Google

eclipse / papyrus / org.eclipse.papyrus.incubation / ba7ed2a3bcea1819b70c50f822694519fa915beb / . / layers / plugins / org.eclipse.papyrus.layers.ui / OLD_properties

tree: 474b98d688ae151b46131ce96ecbd3341943618b [path history] [tgz]

ui/
properties.ctx

Powered by Gitiles| Privacy| Termstxt json