Fixing hpc combine and hpc map to use the correct help message
authorandy@galois.com <unknown>
Tue, 8 Apr 2008 23:20:32 +0000 (23:20 +0000)
committerandy@galois.com <unknown>
Tue, 8 Apr 2008 23:20:32 +0000 (23:20 +0000)

No differences found