org.eclipse.pde.core.prefs « .settings « org.eclipse.jem.beaninfo.common « plugins - webtools.javaee.git - This repo has moved to: https://github.com/eclipse-jeetools/webtools.javaee

index : webtools.javaee.git

This repo has moved to: https://github.com/eclipse-jeetools/webtools.javaee

Linux User

summary refs log tree commit diff stats

path: root/plugins/org.eclipse.jem.beaninfo.common/.settings/org.eclipse.pde.core.prefs

blob: 59dc1688c0b9515419f511d66cab7f5f00493f0b (plain) (blame)

1
2
3

#Thu Jun 16 11:09:08 EDT 2005
eclipse.preferences.version=1
selfhosting.binExcludes=/org.eclipse.jem.beaninfo/bin_vm_beaninfovm

Back to the top