comparison .settings/org.eclipse.core.resources.prefs @ 381:6e37c7168585

IntMap is more effective than TreeMap<Integer,...>
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Thu, 09 Feb 2012 19:07:29 +0100
parents 868a5a6e9f93
children
comparison
equal deleted inserted replaced
380:9517df1ef7ec 381:6e37c7168585