diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 15252:359c9bb2d2c8

make emitAtomicReadAndAdd and emitAtomicReadAndWrite default methods
author twisti
date Fri, 18 Apr 2014 18:30:40 -1000
parents 3417a9177425
children
line wrap: on
line diff