[#1208] Minor fix to refresh-all-repos.py
Authored by: Rick Copeland 2010-12-02
Parent(s): [d142e1]
Child(ren): [e61030]