Windows date.bat now reproduces unix's date '+%Y%m%d%H%M%S'
Authored by: sumolx 2011-02-24
Parent: [r3035]
Child: [r3037]