W3C home > Mailing lists > Public > html-tidy@w3.org > July to September 1999

July 2nd Tidy: drop-font-tags

From: Jelks Cabaniss <jelks@jelks.nu>
Date: Sat, 3 Jul 1999 15:58:14 -0400
To: <html-tidy@w3.org>
The new Tidy is *great*.

"drop-font-tags" has proven to be a life saver -- is there any reason why one
must specify the "clean" option as well in order to use it?  Could not
"drop-font-tags" invoke "clean" automatically, thus removing the need to specify
two options for one action?

Received on Saturday, 3 July 1999 15:58:22 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:38:46 UTC