comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 12686:ca8ab182026f

abstracted a graph mark as a Mark object (hiding the node index)
author Doug Simon <doug.simon@oracle.com>
date Tue, 05 Nov 2013 19:54:32 +0100
parents 3417a9177425
children
comparison
equal deleted inserted replaced
12685:478c82dde838 12686:ca8ab182026f