[Bug 807] build.xml improvements

http://www.w3.org/Bugs/Public/show_bug.cgi?id=807


ot@w3.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




------- Comment #3 from ot@w3.org  2006-03-20 07:07 -------
Many thanks to both of you, patch tested and applied.

Received on Monday, 20 March 2006 07:07:22 UTC