#This is a generated file; do not edit.
#Sun Feb 12 16:02:47 EST 2006
org.eclipse.pde.doc.user=org.eclipse.pde.doc.user\n3.1.1
org.eclipse.jdt.doc.user=org.eclipse.jdt.doc.user\n3.1.1
com.cenqua.clover.eclipse=com.cenqua.clover.eclipse\n1.2.6
org.eclipse.cdt.doc.isv=org.eclipse.cdt.doc.isv\n3.0.1
org.eclipse.jdt.doc.isv=org.eclipse.jdt.doc.isv\n3.1.1
org.eclipse.platform.doc.isv=org.eclipse.platform.doc.isv\n3.1.1
org.eclipse.cdt.doc.user=org.eclipse.cdt.doc.user\n3.0.1
org.eclipse.platform.doc.user=org.eclipse.platform.doc.user\n3.1.1
