.settings/org.eclipse.core.resources.prefs
Tue, 15 Sep 2015 17:28:56 +0200 ymh internalize user model + resize fields (username, firstname, lastname) and add externalid
less more (0) -30 -10 -1 tip