Remove unused file.
This was added in 105409746499657acdffc109db9d343b464bda1f, but has
never been used for anything as far as I can tell. There seems to
be no reason to keep it.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/668dbbec27da05b35a6972e9d833115dce0b6ccc
Modified Files
--------------
src/include/storage/pos.h | 64 -----------------------------------------------
1 file changed, 64 deletions(-)