Follow-up Comment #3, bug #277 (project tex4ht):
thanks for the report (Erik) and patch (Michal).
unless someone objects, i actually think it would be better to remove
timestamps by default and let enabling them be the option. those gratuitious
changes in the output have always been a hassle.
wdyt?
_______________________________________________________
Reply to this item at:
<http://puszcza.gnu.org.ua/bugs/?277>
_______________________________________________
Message sent via/by Puszcza
http://puszcza.gnu.org.ua/
