diff options
| author | Benjamin Culkin <bjculkin@mix.wvu.edu> | 2018-02-05 13:01:05 -0800 |
|---|---|---|
| committer | Benjamin Culkin <bjculkin@mix.wvu.edu> | 2018-02-05 13:01:05 -0800 |
| commit | 48ed157c10d045746450a9c775b3342ee55a4ac6 (patch) | |
| tree | f0a01bdb46bb4b653046e3494143205256e012bc /base/.settings/org.eclipse.jdt.core.prefs | |
| parent | fd4facafa9557d6b9566fd63c96b66ffb8a39b3b (diff) | |
Update settings
Diffstat (limited to 'base/.settings/org.eclipse.jdt.core.prefs')
| -rw-r--r-- | base/.settings/org.eclipse.jdt.core.prefs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/base/.settings/org.eclipse.jdt.core.prefs b/base/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..d59e09c --- /dev/null +++ b/base/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,5 @@ +eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
+org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
+org.eclipse.jdt.core.compiler.source=1.8
|