view profiles/repo_name @ 120:17e88fb0f6f2

fix pgpool shutdown
author holger@hoho.dyndns.org
date Fri, 20 Mar 2009 12:50:28 +0100
parents c95cc4c20d31
children 1d5589cb15a6
line wrap: on
line source

local-repository