diff options
Diffstat (limited to 'Scala/patmat/.settings')
| -rw-r--r-- | Scala/patmat/.settings/org.scala-ide.sdt.core.prefs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Scala/patmat/.settings/org.scala-ide.sdt.core.prefs b/Scala/patmat/.settings/org.scala-ide.sdt.core.prefs new file mode 100644 index 0000000..9b452fd --- /dev/null +++ b/Scala/patmat/.settings/org.scala-ide.sdt.core.prefs @@ -0,0 +1,5 @@ +#Generated by sbteclipse +#Mon Apr 15 08:47:12 CEST 2013 +deprecation=true +feature=true +scala.compiler.useProjectSettings=true |