Fix postgres DB creation
authorAdam Chlipala <adamc@hcoop.net>
Wed, 9 Apr 2008 14:33:42 +0000 (14:33 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 9 Apr 2008 14:33:42 +0000 (14:33 +0000)

No differences found