Varo/varo/.settings/org.eclipse.jdt.core.prefs
Simon 72c6fa8d9c feat: add basic Discord Integration
BREAKING CHANGE: teams.json needs manual migration
2020-05-17 19:24:02 +02:00

9 lines
475 B
INI

eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
org.eclipse.jdt.core.compiler.compliance=11
org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=ignore
org.eclipse.jdt.core.compiler.processAnnotations=enabled
org.eclipse.jdt.core.compiler.release=disabled
org.eclipse.jdt.core.compiler.source=11