diff PostgreSQL/Plugins/PostgreSQLIndex.h @ 104:0a713ffdf842

fix build on Ubuntu 14.04
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 22 Jan 2019 14:48:27 +0100
parents e61587582cef
children 4cd7e45b671e
line wrap: on
line diff