Index of /~nad/repos/simply-typed/_darcs/prefs

	Name	Last modified	Size	Description
	Parent Directory		-
	binaries	10-Mar-2008 15:51	395
	boring	10-Mar-2008 15:51	534
	motd	10-Mar-2008 15:51	0
	prefs	10-Mar-2008 15:52	19