diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 18176:c2270ad35f57

Better construction of data section and data patches.
author Roland Schatz <roland.schatz@oracle.com>
date Mon, 27 Oct 2014 14:07:49 +0100
parents 3417a9177425
children
line wrap: on
line diff