#EclipseHTMLEditor configuration file #Tue Apr 10 14:11:00 CEST 2007 validateDTD=true useDTD=true validateJSP=true validateXML=true validateJS=true removeMarkers=true root=/ validateHTML=true javaScripts=