carbideui/com.nokia.tools.doc/.settings/org.eclipse.jdt.ui.prefs
changeset 0 a44900f0f001
equal deleted inserted replaced
-1:000000000000 0:a44900f0f001
       
     1 #Tue May 16 01:54:45 EEST 2006
       
     2 eclipse.preferences.version=1
       
     3 internal.default.compliance=default