comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 18186:ef357effbda7

Backout of changeset 9a804ec7f707 (converted Constant and Value to be interfaces).
author Roland Schatz <roland.schatz@oracle.com>
date Thu, 30 Oct 2014 11:18:48 +0100
parents 3417a9177425
children
comparison
equal deleted inserted replaced
18185:a88d819ba6a1 18186:ef357effbda7