diff .settings/org.eclipse.jdt.core.prefs @ 590:8cbc2a883d95

Use requested encoding in LineReader
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Mon, 29 Apr 2013 17:04:51 +0200
parents dbd663faec1f
children
line wrap: on
line diff