diff options
-rwxr-xr-x | contrib/pg_controldata/pg_controldata | bin | 11795 -> 0 bytes |
-rw-r--r-- | contrib/pg_controldata/pg_controldata.o | bin | 8368 -> 0 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/contrib/pg_controldata/pg_controldata b/contrib/pg_controldata/pg_controldata Binary files differdeleted file mode 100755 index 59f2e4d14d0..00000000000 --- a/contrib/pg_controldata/pg_controldata +++ /dev/null diff --git a/contrib/pg_controldata/pg_controldata.o b/contrib/pg_controldata/pg_controldata.o Binary files differdeleted file mode 100644 index fd6b532b940..00000000000 --- a/contrib/pg_controldata/pg_controldata.o +++ /dev/null |