Login
Z3 tests
Help: test-html-tidy
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "test-html-tidy" command:
Run the htmlTidy() routine on the content of all files named on the command-line and write the results to standard output.