Index of /darcs/ganesh/camp-paper/_darcs/prefs

	Name	Last modified	Size	Description
	Parent Directory		-
	sources	2019-08-11 23:22	35
	repos	2019-08-11 23:22	30
	motd	2019-08-11 23:22	0
	defaultrepo	2019-08-11 23:22	30
	boring	2019-08-11 23:22	2.5K
	binaries	2019-08-11 23:22	702