Index of /pub/pds

	Name	Last modified	Size	Description
	Parent Directory		-
	makefile.sun	2008-07-09 12:27	510
	index.orig	2008-07-09 12:27	511
	index	2008-07-09 12:27	694
	makefile.intel	2008-07-09 12:27	913
	create.tar.Z	2008-07-09 12:27	27K
	optim.tar.Z	2008-07-09 12:27	45K
	create.sh	2008-07-09 12:27	71K
	pds.ps.Z	2008-07-09 12:27	73K
	optim.sh	2008-07-09 12:27	134K