annotate .settings/org.eclipse.core.resources.prefs @ 198:f151dea22b2c working

add flip api
author sugi
date Tue, 19 Mar 2013 01:25:09 +0900
parents
children 099bb3afd74f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
198
f151dea22b2c add flip api
sugi
parents:
diff changeset
1 eclipse.preferences.version=1
f151dea22b2c add flip api
sugi
parents:
diff changeset
2 encoding//src/alice/test/codesegment/local/bitonicsort/SortTest.java=UTF-8