summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
diff options
context:
space:
mode:
authorLuke Shumaker <shumakl@purdue.edu>2014-05-04 22:09:16 -0400
committerLuke Shumaker <shumakl@purdue.edu>2014-05-04 22:09:16 -0400
commit8662dfb7361c7ba9291a5e2bf9ebd55cb41932ba (patch)
tree6188787d0b00070f45bacde18b88a57bf5398101 /.settings/org.eclipse.jdt.core.prefs
parent37683365975b33d2f666949b4d423f193e76feb9 (diff)
ignore files that should be ignoredlukeshu
Diffstat (limited to '.settings/org.eclipse.jdt.core.prefs')
-rw-r--r--.settings/org.eclipse.jdt.core.prefs4
1 files changed, 0 insertions, 4 deletions
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644
index b080d2d..0000000
--- a/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,4 +0,0 @@
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
-org.eclipse.jdt.core.compiler.compliance=1.6
-org.eclipse.jdt.core.compiler.source=1.6