diff .settings/org.eclipse.core.resources.prefs @ 244:4b661efb9374

Use updated location of cache files (cache/ folder instead of .cache filename extension). Provide means to update (write down) cache for subsequent uses
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Tue, 12 Jul 2011 02:48:34 +0200
parents 868a5a6e9f93
children
line wrap: on
line diff