/[pdpsoft]/tags/nl.nikhef.jgridstart-release-1.5/.settings/org.eclipse.jdt.core.prefs
ViewVC logotype

Contents of /tags/nl.nikhef.jgridstart-release-1.5/.settings/org.eclipse.jdt.core.prefs

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1451 - (show annotations) (download)
Tue Feb 2 10:07:53 2010 UTC (12 years, 6 months ago) by wvengen
File MIME type: text/plain
File size: 618 byte(s)
1.5 release
1 #Mon Mar 30 14:47:25 CEST 2009
2 eclipse.preferences.version=1
3 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
4 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
5 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
6 org.eclipse.jdt.core.compiler.compliance=1.5
7 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
8 org.eclipse.jdt.core.compiler.debug.localVariable=generate
9 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
10 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
11 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
12 org.eclipse.jdt.core.compiler.source=1.5

Properties

Name Value
svn:mime-type text/plain

grid.support@nikhef.nl
ViewVC Help
Powered by ViewVC 1.1.28