solene 835835fcc7 Update phppgadmin-5.6.0 ... help from sthen ok sthen@ pea@		2018-12-19 13:26:25 +00:00
..
patch-conf_config_inc_php-dist