Index of /maintenance/postgres

	Name	Last modified	Size	Description
	Parent Directory		-
	archives/	2018-11-12 19:37	-
	update-keys.sql	2018-06-05 22:42	1.6K
	mediawiki_mysql2postgres.pl	2018-06-05 22:42	13K
	compare_schemas.pl	2018-06-05 22:42	14K
	tables.sql	2018-09-20 20:58	37K