Index of /mico-darcs-repository/_darcs

	Name	Last modified	Size	Description
	Parent Directory		-
	index	2023-01-23 17:35	302K
	inventory	2023-01-21 18:52	68K
	prefs/	2016-01-22 08:07	-
	patches/	2023-01-21 18:52	-
	inventories/	2006-02-18 20:50	-
	current/	2023-01-13 13:51	-