Index of /repos/Doc/_darcs/prefs

	Name	Last modified	Size	Description
	Parent Directory		-
	sources	2017-04-25 16:53	39
	repos	2017-04-25 16:53	34
	motd	2017-04-25 16:52	0
	defaultrepo	2017-04-25 16:53	34
	boring	2017-04-25 16:53	2.4K
	binaries	2017-04-25 16:52	703