#This is a generated file; do not edit.
#Thu Jan 05 12:08:32 EST 2006
org.eclipse.platform.doc.user=org.eclipse.platform.doc.user\n3.1.1
