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

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