benfry 2bfa613b9b adding options for directly altering the memory setting

2006-09-20 03:50:15 +00:00

..

org.eclipse.jdt.core.prefs

last bit of changes and a pile of bug fixes and notes

2006-09-18 13:07:24 +00:00

org.eclipse.jdt.ui.prefs

adding options for directly altering the memory setting

2006-09-20 03:50:15 +00:00