diff .settings/org.eclipse.jdt.core.prefs @ 294:32890bab7209

Issue 13: Report filenames as they are known in repository rather than from file system
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Wed, 14 Sep 2011 04:41:57 +0200
parents dbd663faec1f
children
line wrap: on
line diff