diff .settings/org.eclipse.jdt.core.prefs @ 682:f568330dd9c0

Compile with Java5, ensure generics are fine for other compilers, too
author Artem Tikhomirov <tikhomirov.artem@gmail.com>
date Mon, 22 Jul 2013 22:47:06 +0200
parents dbd663faec1f
children
line wrap: on
line diff