OSDN Git Service

Remove binary files.
authorPeter Eisentraut <peter_e@gmx.net>
Sun, 25 Feb 2001 15:55:05 +0000 (15:55 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Sun, 25 Feb 2001 15:55:05 +0000 (15:55 +0000)
contrib/pg_controldata/pg_controldata [deleted file]
contrib/pg_controldata/pg_controldata.o [deleted file]

diff --git a/contrib/pg_controldata/pg_controldata b/contrib/pg_controldata/pg_controldata
deleted file mode 100755 (executable)
index 59f2e4d..0000000
Binary files a/contrib/pg_controldata/pg_controldata and /dev/null differ
diff --git a/contrib/pg_controldata/pg_controldata.o b/contrib/pg_controldata/pg_controldata.o
deleted file mode 100644 (file)
index fd6b532..0000000
Binary files a/contrib/pg_controldata/pg_controldata.o and /dev/null differ