comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 9473:5c258c1feb82

Add JavaType-to-String that produces same result as Class.getName()
author Christian Wimmer <christian.wimmer@oracle.com>
date Wed, 01 May 2013 09:09:08 -0700
parents 3417a9177425
children
comparison
equal deleted inserted replaced
9460:56c12e0c15c1 9473:5c258c1feb82