Changeset 1025

Timestamp:

08/01/08 08:23:10 (1 month ago)

Author:

MaierMan

Message:

nightly builder tools

Files:

• tools/nightly-builder (added)
• tools/update_updaterdf_version.py (added)