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

original commit: fa7dd9b522f0dd14d3b71c74256803228379d562
This commit is contained in:
Matthew Flatt 2010-09-20 03:31:18 -06:00
parent dbdb62fc7b
commit b6a14210ed