diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2016-09-20 12:00:00 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2016-09-20 12:00:00 -0400 |
| commit | 46bee23dee6c76a8810ed354f00f017f8603ccd6 (patch) | |
| tree | 625512b57bc4820adc173a20ca701f6897257949 /src/backend/executor | |
| parent | 40e96756ab760caf42aed10590865249d969d094 (diff) | |
doc: Fix documentation to match actual make output
based on patch from Takeshi Ideriha <iderihatakeshi@gmail.com>
Diffstat (limited to 'src/backend/executor')
0 files changed, 0 insertions, 0 deletions