diff .settings/org.eclipse.jdt.core.prefs @ 134:afac8ddc5dd2

Keep record if we tried and found no metadata for a given revision
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Wed, 16 Feb 2011 21:51:32 +0100
parents dbd663faec1f
children
line wrap: on
line diff