Index of /staff/jewett/mixppc

	Name	Last modified	Size	Description
	Parent Directory		-
	fonts/	07-Apr-2002 00:53	-
	twm.stdout	03-Mar-2000 14:28	142
	twm	22-Oct-1998 15:05	628K
	MI:2fX	22-Oct-1998 10:52	1.1M
	rgb.txt	12-Oct-1995 11:17	17K