diff options
author | Tom Lane | 2017-03-25 22:22:16 +0000 |
---|---|---|
committer | Tom Lane | 2017-03-25 22:22:16 +0000 |
commit | 8acf08c68dd8b9fa1793f6ccf9e216cdec63fb49 (patch) | |
tree | b7da54b783e5d367d452bab2e108b58dad3f3ce6 | |
parent | b8d7f053c5c2bf2a7e8734fe3327f6a8bc711755 (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.c | 0 |
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 |