undo previous merge because
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 11 Oct 2008 10:47:44 +0000 (10:47 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 11 Oct 2008 10:47:44 +0000 (10:47 +0000)
commitbcb2b121555e1dfb99be1420cdc0467d0fd8c42b
tree14ecf223c65ae13a8639566024ed2724a10037a4
parentf21b18a2be8f64c13908723b0c0d8212683ae5b6
undo previous merge because
. I thought we'd need this change but that's not the case
. so no need for another build
. turns out we'd need other changesets as well anyway
PLC/PostgreSQL.py