#This is a generated file; do not edit.
#Thu Nov 22 01:43:03 EST 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
