#This is a generated file; do not edit.
#Fri Jun 08 01:57:03 EDT 2018
/org.eclipse.dltk.sh.doc/userguide/Updating-This-Guide.html=0
/org.eclipse.dltk.sh.doc/userguide/Getting-Started.html=0
/org.eclipse.dltk.sh.doc/userguide/Introduction.html=0
