postgresql 12 has removed the "WITH OIDS" table creation option - that we do not...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 12 Nov 2020 10:18:15 +0000 (11:18 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 12 Nov 2020 10:18:15 +0000 (11:18 +0100)
commita5f4a873bed8718b9124714e816a63f569b9a22c
treeb315da8c9f1dd959029a848fa3052cb25065ba13
parent9ed73ccad826bd133cd218ea7afc840d0ae460c8
postgresql 12 has removed the "WITH OIDS" table creation option - that we do not really need anyway
planetlab5.sql