Revision 19064 - Directory Listing - [select for diffs]
Modified Sat May 23 15:23:07 2015 UTC (8 years, 10 months ago) by laffer1
Diff to previous 18616

rename HASH_FILE -> DISTINFO_FILE as it is more specific. We went to HASH_FILE when we dropped MD5

update linux ports

Revision 18550 - Directory Listing - [select for diffs]
Modified Sat Apr 4 12:00:58 2015 UTC (9 years ago) by laffer1
Diff to previous 15692

drop only for

all in

Revision 15462 - Directory Listing - [select for diffs]
Modified Tue Sep 17 03:15:41 2013 UTC (10 years, 7 months ago) by laffer1
Diff to previous 11517

fixup some properties.

add openmotif