Changeset 41627

Timestamp:

Dec 3, 2007, 3:06:22 AM (15 years ago)

Author:

René Rivera

Message:

Work around some Windows CMD.EXE programs that will fail executing a totally empty batch file.

(No files)