comparison TOOLS/subedit.pl @ 29963:550b899f9b7a

Do not pointlessly set the HTMLFILE variable when running xmllint.
author diego
date Sun, 13 Dec 2009 22:25:08 +0000
parents 92a795af2600
children
comparison
equal deleted inserted replaced
29962:fd112c1ef46e 29963:550b899f9b7a