Scala/patmat/.settings/org.scala-ide.sdt.core.prefs


1
2
3
4
5

#Generated by sbteclipse
#Mon Apr 15 08:47:12 CEST 2013
deprecation=true
feature=true
scala.compiler.useProjectSettings=true