#This is a generated file; do not edit.
#Mon Jun 27 15:12:52 EDT 2005
org.eclipse.platform.doc.user=org.eclipse.platform.doc.user\n3.1.0
