diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2013-04-28 00:33:06 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2016-11-10 18:03:23 +0100 |
commit | 3e2f88773c61e2d0020b57161d0e901bec596c96 (patch) | |
tree | fe5c381e4a731600a60b4ac9862af672b5b7aa12 /Scala/patmat/.settings | |
parent | 12ef23e6da7b7186bec20d426c087d757260659d (diff) | |
download | coursera-3e2f88773c61e2d0020b57161d0e901bec596c96.zip coursera-3e2f88773c61e2d0020b57161d0e901bec596c96.tar.gz |
Scala : add patmat
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 |