Sign in
eclipse
/
amalgam
/
org.eclipse.amalgam
/
2ccfd64d77945fa5116f16e716d1d1eece24b809
/
.
/
plugins
/
org.eclipse.amalgam.explorer.activity.ui
/
src
/
org
/
eclipse
/
amalgam
/
explorer
/
activity
/
ui
/
internal
/
preferences
tree: ab124ad3c92c95568540ce249a9da865681df5f6 [
path history
]
[
tgz
]
ActivityExplorerManagementPreferencePage.java
ActivityExplorerPreferencePage.java
ActivityExplorerSelectionBlock.java
DefaultPreferenceInitializer.java
Messages.java
messages.properties