diff .settings/org.eclipse.jdt.core.prefs @ 620:272ecffccc8a

Do not cache branch value of working copy as it's not possible to refresh it after commit now
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Sat, 18 May 2013 21:55:31 +0200
parents dbd663faec1f
children
line wrap: on
line diff