Index of /repos/coq/Russell/_darcs/prefs

	Name	Last modified	Size	Description
	Parent Directory		-
	binaries	31-Jan-2008 21:57	423
	boring	31-Jan-2008 21:57	534
	defaultrepo	31-Jan-2008 21:57	40
	motd	31-Jan-2008 21:57	0
	prefs	31-Jan-2008 21:58	41
	repos	31-Jan-2008 21:57	40