소스 검색

删除 'devicemanagement/org.eclipse.jdt.core.prefs'

1801010627 6 년 전
부모
커밋
0d01526919
1개의 변경된 파일0개의 추가작업 그리고 7개의 파일을 삭제
  1. 0 7
      devicemanagement/org.eclipse.jdt.core.prefs

+ 0 - 7
devicemanagement/org.eclipse.jdt.core.prefs

@@ -1,7 +0,0 @@
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
-org.eclipse.jdt.core.compiler.compliance=1.7
-org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
-org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7