Index of /darcs/tce-conf/_darcs/prefs

	Name	Last modified	Size	Description
	Parent Directory		-
	binaries	2015-03-23 15:00	703
	boring	2015-03-23 15:00	2.4K
	defaultrepo	2015-03-23 15:00	35
	motd	2015-03-23 15:00	0
	prefs	2015-03-25 04:00	29
	repos	2018-05-07 04:01	35
	sources	2015-03-23 15:00	40