Index of /mirror/wikimedia.org/other/tools

	Name	Last modified	Size
	Parent Directory		-
	work/	2009-07-31 03:46	-
	old/	2013-02-21 17:38	-
	oai/	2009-07-31 03:47	-
	mwdumper.jar	2013-02-08 16:52	3.0M
	mwdumper-1.16.jar	2013-02-08 16:52	3.0M
	README.txt	2006-02-02 18:33	5.7K