summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Lane2017-03-25 22:22:16 +0000
committerTom Lane2017-03-25 22:22:16 +0000
commit8acf08c68dd8b9fa1793f6ccf9e216cdec63fb49 (patch)
treeb7da54b783e5d367d452bab2e108b58dad3f3ce6
parentb8d7f053c5c2bf2a7e8734fe3327f6a8bc711755 (diff)
git rm execQual.c
Should have been in commit b8d7f053c5c2bf2a7e8734fe3327f6a8bc711755, but passing the patch back and forth as a patch seems to have dropped that metadata.
-rw-r--r--src/backend/executor/execQual.c0
1 files changed, 0 insertions, 0 deletions
diff --git a/src/backend/executor/execQual.c b/src/backend/executor/execQual.c
deleted file mode 100644
index e69de29bb2..0000000000
--- a/src/backend/executor/execQual.c
+++ /dev/null