diff .settings/org.eclipse.core.resources.prefs @ 525:0be5be8d57e9

Repository checkout support, first iteration
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Fri, 11 Jan 2013 18:12:39 +0100
parents 868a5a6e9f93
children
line wrap: on
line diff