diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 14004:b3d6e5122867

IGV: Fix bug with subgraphs.
author Roland Schatz <roland.schatz@oracle.com>
date Fri, 21 Feb 2014 18:47:02 +0100
parents 3417a9177425
children
line wrap: on
line diff