Sign in
eclipse
/
gerrit
/
viatra
/
org.eclipse.viatra2.vpm
/
8941576940002903cb1ef99dbe8f119525cb1cd0
/
.
/
org.eclipse.viatra2.core2
/
src
/
org
/
eclipse
/
viatra2
/
framework
/
properties
tree: b0a1521c89e8348bc5006672cb14545862e7adbe [
path history
]
[
tgz
]
providers/
IViatraPropertyChangedListener.java
IViatraPropertyProvider.java
IViatraPropertyProvidersChangedListener.java
VIATRAPreferences.java
VIATRAPropertyKind.java
VPMProperties.java