rename file to avoid :, which is not allowed under Windows

This commit is contained in:
Matthew Flatt 2010-09-20 03:31:18 -06:00
parent aac7e0b58a
commit fa7dd9b522