Adding environment variable HPCTIXDIR, a directory to place tix results.
authorandy@galois.com <unknown>
Tue, 8 Apr 2008 23:24:50 +0000 (23:24 +0000)
committerandy@galois.com <unknown>
Tue, 8 Apr 2008 23:24:50 +0000 (23:24 +0000)

No differences found