Index of /source/std/1.7.2/src/tools/

	Name	Last modified	Size	Description
	Parent Directory	08-Nov-11 15:56	-
	Makefile	17-Feb-96 10:31	1137
	init.c	17-Feb-96 19:30	11K
	mkboot	02-Dec-95 16:19	2348
	ps.c	19-Jan-96 20:27	18K
	tell_config	10-Feb-95 22:29	206