Rebrand to Text Editor 8000.

This commit is contained in:
Adrian Malacoda
2018-06-23 03:47:51 -05:00
parent ef533e6e44
commit 7a6d0d3eba
195 changed files with 682 additions and 676 deletions

View File

@@ -1,4 +1,4 @@
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
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
org.eclipse.jdt.core.compiler.compliance=1.8
org.eclipse.jdt.core.compiler.source=1.8