Changeset 41626

Timestamp:

Dec 3, 2007, 2:57:49 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)