comparison .settings/org.eclipse.jdt.core.prefs @ 315:8952f89be195

Allow to query specific branch heads if they are closed
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Wed, 28 Sep 2011 12:18:21 +0200
parents dbd663faec1f
children
comparison
equal deleted inserted replaced
314:fb74133d2025 315:8952f89be195