#This is a generated file; do not edit.
#Fri May 31 04:19:22 EDT 2019
org.eclipse.platform.doc.user=org.eclipse.platform.doc.user\n4.12.0.qualifier
