annotate .settings/org.scala-ide.sdt.core.prefs @ 57:ed77c5258568

modify getAllUpperClaims
author one
date Thu, 08 Nov 2012 00:00:59 +0900 (2012-11-07)
parents cb0baf808047
children 1c13476a0c1f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
2ba2f81e7535 add somefiles
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #Generated by sbteclipse
57
ed77c5258568 modify getAllUpperClaims
one
parents: 4
diff changeset
2 #Wed Nov 07 22:43:18 JST 2012
1
2ba2f81e7535 add somefiles
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 Xcheckinit=true
2ba2f81e7535 add somefiles
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 deprecation=true
2ba2f81e7535 add somefiles
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 encoding=utf8
2ba2f81e7535 add somefiles
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 unchecked=true
2ba2f81e7535 add somefiles
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 scala.compiler.useProjectSettings=true