* Use the month format in DSTAMP (mm is minutes) * Use the 24-hour hour format in TSTAMP (otherwise, at 7pm the TSTAMP will be 0700 instead of 1900). Submitted by: Glenn Twiggs <Glenn_Twiggs@bmc.com> git-svn-id: https://svn.apache.org/repos/asf/ant/core/trunk@267601 13f79535-47bb-0310-9956-ffa450edef68master