Index of /~heinrich/dict/dict_ding/pre

	Name	Last modified	Size	Description
	Parent Directory		-
	ding.dict.dz	26-Aug-1999 17:26	1.0M
	ding.index	26-Aug-1999 17:26	1.7M
	ding_rev.dict.dz	26-Aug-1999 17:26	942K
	ding_rev.index	26-Aug-1999 17:26	1.8M