#This is a generated file; do not edit.
#Tue Sep 19 06:09:02 EDT 2017
/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
