source: tree/.settings/org.eclipse.jdt.core.prefs@ 71

Last change on this file since 71 was 4, checked in by wouter, 5 years ago

MentalHealth #36 introduce Tree and get(Label) to work around serialization issues

File size: 285 bytes
Line 
1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
3org.eclipse.jdt.core.compiler.compliance=1.8
4org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
5org.eclipse.jdt.core.compiler.release=disabled
6org.eclipse.jdt.core.compiler.source=1.8
Note: See TracBrowser for help on using the repository browser.