#This is a generated file; do not edit.
#Mon Apr 17 19:05:19 GMT 2006
org.eclipse.pde.doc.user=org.eclipse.pde.doc.user\n3.1.2
