Changeset 3390

Timestamp:

Feb 11, 2008, 12:57:16 AM (13 years ago)

Author:

yura

Message:

• SVN properties.

Location:

devel-tools/trunk/eclipse/org.refal.plus.rfpdt

Files:

• .classpath (modified) (2 props)
• .project (modified) (2 props)
• .settings/org.eclipse.core.resources.prefs (modified) (2 props)
• .settings/org.eclipse.jdt.core.prefs (modified) (2 diffs, 2 props)
• .settings/org.eclipse.jdt.ui.prefs (modified) (1 diff, 2 props)
• .settings/org.eclipse.ltk.core.refactoring.prefs (modified) (2 props)
• .settings/org.eclipse.wst.validation.prefs (modified) (2 props)
• META-INF/MANIFEST.MF (modified) (2 props)
• build.properties (modified) (2 props)
• plugin.xml (modified) (2 props)
• trac.txt (modified) (1 prop)

devel-tools/trunk/eclipse/org.refal.plus.rfpdt/.settings/org.eclipse.jdt.core.prefs

@@ -1 @@
-#Thu Dec 20 19:50:03 MSK 2007
+#Mon Feb 11 00:47:07 MSK 2008
 eclipse.preferences.version=1
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
 org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
@@ -50 +55 @@
 org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
 org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
-org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
 org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
 org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
 org.eclipse.jdt.core.formatter.comment.format_block_comments=true
-org.eclipse.jdt.core.formatter.comment.format_comments=true
 org.eclipse.jdt.core.formatter.comment.format_header=false
 org.eclipse.jdt.core.formatter.comment.format_html=true

devel-tools/trunk/eclipse/org.refal.plus.rfpdt/.settings/org.eclipse.jdt.ui.prefs

@@ -1 @@
-#Thu Dec 20 19:50:03 MSK 2007
+#Mon Feb 11 00:47:07 MSK 2008
 eclipse.preferences.version=1
 formatter_profile=_Refal+Java
 formatter_settings_version=11
-internal.default.compliance=default
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
 org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>