Changeset 45234

Timestamp:

May 8, 2008, 10:07:28 PM (14 years ago)

Author:

Daniel James

Message:

Replace spaces in generated file names with underscores, and replace multiple consecutive underscores with a single underscore. Fixes #1705

(No files)