git.eclipse.org / sourceediting / webtools.sourceediting / cfe2a1bcd2f50a6b2161f212c3e9c81bbd9f1a00 / bundles / org.eclipse.wst.html.core / .options