view .settings/org.eclipse.core.resources.prefs @ 200:099bb3afd74f working

no use managerKey
author sugi
date Sat, 23 Mar 2013 16:58:13 +0900
parents f151dea22b2c
children 7f47231ef509
line wrap: on
line source

eclipse.preferences.version=1
encoding//src/alice/test/codesegment/local/bitonicsort/SortTest.java=UTF-8
encoding//src/alice/test/codesegment/local/bitonicsort/nolist/SortTest.java=UTF-8