[eclipse-dev] Initial User Settings document

["Michael Valenta" <Michael_Valenta@xxxxxxxxxx>]

The initial document describing user settings problem
has been posted at the following URL:

http://dev.eclipse.org/viewcvs/index.cgi/%7Echeckout%7E/platform-vcm-home/docs/online/team3.0/settings.html

The term "user settings" can mean different
things to different people so the first goal is to ensure all of the relevant
scenarios are documented. If you know of a scenario that is not covered,
please let me know either by annotating the bug report (https://bugs.eclipse.org/bugs/show_bug.cgi?id=36965)
or posting on the platform-core-dev mailing list (I have cross-posted to
eclipse-dev because of the broad nature of the problem). Also, a first
cut at defining a solution is also included so feel free to comment on
that as well.

Michael Valenta