slightly more reliable setup script to mess with postgresql config
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 28 May 2018 14:55:14 +0000 (16:55 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 28 May 2018 14:55:14 +0000 (16:55 +0200)

No differences found