diff PostgreSQL/Plugins/PostgreSQLIndex.cpp @ 44:95f0f57f8920

fix mainline version
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 17 Jul 2018 08:50:53 +0200
parents aacb651833f5
children 4f66bc893fc3
line wrap: on
line diff